Update editeur_texte.java