J’ai re-découvert récemment sur un forum un raccourci-clavier que j’avais totalement oublié, faute de ne l’utiliser assez souvent : il s’agit du changement de police dans une même famille de caractères. Alt-F9 puisqu’il s’agit de lui, vous fera passer à la police suivante, tandis que son contraire se fera en y ajoutant la touche Majuscule (Alt-Maj-F9). Bon voyage !