correction de l'encodage des caractères en entités HTML sur les fichiers d'aide