Je sais qu'il existe une solution de ligne de commande ici: Comment puis-je activer Ctrl + Alt + Retour arrière?
Cependant, je cherche à l'activer de la même manière que sur les versions précédentes (les paramètres ne sont pas là dans GNOME 3.2, semble-t-il).
Eh bien ... je me sens un peu bête.
La dernière mise à jour de GNOME Control Center a rendu l'option suivante: