On 02/17/2010 09:50 PM, netmaxd wrote: > Le 2010-02-17 20:17, Martin Gamache a écrit : >> Je ne sais pas pour PDF editor, mais j'ai remarqué que parfois la >> mise à jour du menu Gnome après l'installation de certaines >> applications ne se fait qu'après un redémarrage... Logout puis login devrait suffir... A+ F.