Correction de l'encodage avec un éditeur de texte qui marche