Bonjour,
Quelle manipulation faut-il faire pour agrandire la police(de l'éditeur et de la console) sous eclipse? merci.