[...] > Via quel menu devrais-je trouver les différent thèmes et celui actif ? Ok, j'ai trouvé :d.. C'était plus simple que je ne le pensais : Menu Gnome "Applications"->"Desktop Preferences"->"Theme" Serge.