Bonjour, Les polices des menus dans les applications basées sur GTK sont trop grandes et je ne sais pas où les régler ? Merci de m'indiquer où se gère ces polices. -- To UNSUBSCRIBE, email to debian-user-french-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org