Ajout du bouton "full size" pour que l'éditeur remplisse toute la fenêtre

Ce nouveau bouton permet d'agrandir l'éditeur jusqu'aux bords de la
fenêtre du navigateur. Pour cela certains éléments sont cachés et
l'éditeur est redimensionné pour qu'il prenne l'espace libéré.
En cliquant à nouveau dessus, on revient au layout par défaut (en
respectant la valeur du paramètre "Agrandir la fenêtre").