Correction de l'encodage: éviter les modifs directes sur GitHub ! sinon il remet tout en UTF8.
Rajout idée de module de latexification