>>>> "GR" == Guillaume Rumeau <rumeau@isty-info.uvsq.fr> writes: GR> Bonjour, Bonjour, GR> J'ai un petit souci avec la taille de police des menus de certaines GR> applications. [...] GR> Le serveur X est lancé en 100 dpi, mais en passant en 75 dpi cela ne GR> change pas. Il faut enlever le package xfonts-100dpi si tu veux utiliser les 75 dpi. Christian