Éditeur HTML avec coloration syntaxique complète