Commentage d’un commentaire.
Ajout du bouton OK pour l’éditeur web.
Ajout du bouton OK pour le REPL web.
ide_injection: mals -> malg.
Web IDE: fix links des instructions.