Benh là maintenant ça a plus la même taille que quand j'avais tapé ce message il me semble

Edit: ha ouais t'as réduit, tu le dis juste après
Bah le changement de police ne change généralement pas la taille, mais la police que tu utilisais avant était justement plus petite que les autres polices à nombre de pixels égal