Le problème semble résolu. J'ai du (pour une tout autre raison) réinstaller complètement ma distri, et maintenant ça marche (mais que lorsque les themes sont dans /usr/share/themes)... J'avais du rater quelque chose dans l'install, mais malheureusement je ne sais pas quoi. Merci pour vos conseils!

Merci pour la suggestion. Effectivement, je m'en suis aperçu. Cependant ils marchent tout de même sous gnome 3.6 sur mon Ubuntu. j'ai aussi essayé avec un thème bien 3.6 (je n'ai pas le nom exact sur moi pour l'instant), et j'ai le même problème.
Je vais tenter de voir si j'ai le même problème ...

Bonjour à tous,

c'est mon premier message car je suis passé à ArchLinux récemment, donc j'espère ne pas être trop à côté de la plaque.

Mon problème est le suivant:
J'ai gnome (3.6.2) et je cherche à changer de thèmes (shell/metacity/gtk/icones). J'ai installé gnome-tweak-tool, l'extension user ...