petite modification de police d'écriture (empêchait la compilation)