GUI: petit fix pour ajuster la largeur des boutons à droite à leur
contenu. Fixes issue #63.