Comment augmenter la taille des caractères ?

Solution : en employant un raccourci clavier.