modification article_editeur_de_texte.php