Changement de la taille de la fenetre éditeur