Affichage des nombres maintenant possible.
Web REPL: -> tout, sauf "".
Doc: titres niveau 3 pour les types.
Rédaction de la feuille de route.
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.
Tentative de jQuery-Terminal.
Web IDE: Bascule de l’injection jQueryTerm dans ide_injection.js.
Web IDE: mise à jour des infos et instructions.
Web IDE: désactivation du correcteur orthographique.
Meilleur gestion de Demande annulée.