Taille de police

Permet de choisir parmi plusieurs tailles de police dans la liste ou de saisir une taille manuellement.