Pour modifier la taille de la police, veuillez utiliser les fonctionnalités de votre navigateur ou de votre terminal.
Les raccourcis clavier sont les suivants sur un système Windows:
Sur un système Apple (navigateur Safari), les raccourcis clavier sont les suivants:
1. Avril au 31 octobreLundi à vendredi : 10h à 17hSamedi : 10h à 14h