Changement de taille de la police
Changez la taille de la police en modifiant le paramètre de votre navigateur Web. Pour savoir comment
changer la paramètre de la taille de la police, reportez-vous à l'aide de votre navigateur Web.
Recherche d'une rubrique par mot-clé
Saisissez le mot-clé dans la fenêtre de recherche, puis cliquez sur le bouton [Rechercher].
Retour à la page précédente
Utilisez le bouton retour de votre navigateur Web ou le fil d'Ariane (A) pour revenir à une page que vous
avez précédemment consultée.
26