Gnome: Installer user theme [Résolu/Fermé]

Bonjour,

J'utilise Ubuntu avec Gnome et je souhaiterais changer le thème.

Cependant, quand je vais dans Réglages > Apparence > Thème du shell, la case est grisée et indique: "L'extension "user-theme" de gestion des thèmes shell n'est pas activée."

Donc apparemment, pour résoudre le problème il faudrait que je télécharge le "user theme" sur cette page: https://extensions.gnome.org/

Ce qui me renvoit à un ensemble de liens ici: https://gitlab.gnome.org/GNOME/gnome-shell-extensions

Problème: je n'ai aucune idée de ce qu'il faut faire! Que faut-il choisir? Et comment faire pour l'installer? J'ai cherché partout sans succès...

Merci pour votre aide