Je sais que cette question peut paraître niaiseuse pour certain mais bon. Comment fait-on pour agrandir la police des menus sous linux red hat? J'ai ben de la misère à lire les affaires après un certain temps. Merci