Bonjour,
J'ajoute. Si on n'a pas User Themes Extension, parce qu'on est passé à Gnome 3.4, et/ou qu'on a tout vidé, peu importe, il faut faire comme indiqué
ici : les deux premières cases roses. Vous pourrez activer User Themes puisque installé. Si rien ne change, c'est peut être qu'il faut, à chaque fois disons, faire Alt+F2 puis r, pour relancer Gnome.