Fenêtres à géométrie variable

Les différentes parties de l'UI (énoncé, éditeur, tests) doivent être redimensionnables (min, max et personnalisé)