Astuce : si vous rencontrez des difficultés pour imprimer l'annuaire depuis votre navigateur,
téléchargez-le en PDF
puis imprimez-le depuis votre poste.