Modifier la taille de la police


Les raccourcis clavier sont les suivants : [Ctrl]-[+] Augmenter la taille des caractères
[Ctrl]-[-] Réduire la taille des caractères
[Ctrl]-[0] Réinitialiser la taille des caractères