slt, je crois que la commande "update-menus" peut t'être utile. Il suffit de lire le man ou alors de chercher ds les sujets précédents: update-menus -menufilesdir /usr/lib/menu ou un truc de ce genre peut marcher. Sinon tu n'as pas encore la possibilité d'éditer le menu avec gnome 2.10. Je crois que cela doit venir avec le 2.12 bonne soirée