Vendu aux alentours des 35 euros, le très populaire micro-ordinateur Raspberry Pi s’appuie sur Raspbian, un système d’exploitation maison conçu à partir de Debian. Mais son interface graphique n’est ...