#3720 - Refaire un éditeur à base de CodeMirror + ajouts - porte_plume

/3720