Un éditeur dans une page web avec colorisation syntaxique et la possibilité de déclarer sa propre grammaire.
