Update editeur.js