Changer la police par défaut & permettre de passer à une police sans serif facilement.

La police par défaut pique un peu les yeux.