Merci de corriger cette aberration avec humour !

@Nicolas: Oui, mais - en tout cas pour gnome shell - c'est aussi un gestionnaire de fenêtre. Au risque de me répéter, je plus important ici c'est que l'on ne parle pas de Gnome dans son ensemble et que ça correspond à quelques pixels prêt à l'utilisation de compiz à la place de metacity.