Le 29/10/2014 17:24, René Bastian a écrit : > on peut ajouter des extensions (p.ex. ajouter des icones à la barre de > menu). Y'a des extensions mais elles ne font pas tout. Tu peux aussi développer des extensions ;) https://extensions.gnome.org/ -- Manu Jacquet