eheh dommage, en fait Alt+F7 passe par l'option 'Accessibilité' de Gnome qui n'est peut être pas active par défaut.
Je viens de regarder dans la doc officielle sur le site gnome.org et normalement c'est bien avec la touche Alt.
Certaines fenêtres ne peuvent pas être réduites en dessous d'une taille minimale.
http://www.gnome.org/learn/users-gui...acity-715.html