Jérôme Warnier écrivait : > > gmenu-simple-editor; ce n'est pas pour jouer avec les menus mais > > seulement pour cacher des entrées. > C'est SMEG (Simple Menu Editor for GNOME)? Non, c'est gmenu-simple-editor. $ dlocate gmenu-simple-editor gnome-menus: /usr/bin/gmenu-simple-editor