Bonjour, J'utilise kde 3.2 sous Woody. Quelqu'un saurait-il comment modifier la police utilisée par Mozilla 1.4 pour afficher les menus ? Il semble y avoir de nombreux posts sur la gestion des polices sous Linux mais rien ne m'inspire. Merci d'avance. Bruno