Pour modifier la taille de la police, s'il vous plaît utiliser les fonctionnalités de votre navigateur. Raccourcis clavier:
[Ctrl] [+] Agrandir le texte
[Ctrl] [-] Réduire le texte
Rétablir [Ctrl] [0] le texte