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