redj12 Bonjour, Je n'arrive pas à modifier la taille de police des fenetres sur Gnome. J'ai un petit écran est la taille est beaucoup trop grande à mon gout. J'ai essayé de changer avec gnome-tweak-tool mais ça ne s'applique pas. Merci.