Comment : modifier le type, la taille et les couleurs de police utilisées dans l'Éditeur