Bug#5357

Problème de largeur de l'éditeur corrigé. Il s'étale désormais à 95% de l'espace qui lui est possible de prendre.