Comment changer de polices de caractères

Solution : en affectant un raccourci clavier à une fonte.