Fix #6 Les zones de texte n'ont pas la bonne hauteur
Il ne suffit que d'automatiser la hauteur des divs de CodeMirror pour qu'ils s'ajustent avec le texte plutôt que d'essayer de les ajuster manuellement.
Il ne suffit que d'automatiser la hauteur des divs de CodeMirror pour qu'ils s'ajustent avec le texte plutôt que d'essayer de les ajuster manuellement.