@alaingre, dans mon cas, Gnome-tweak-tool ne me permettais pas d'activer les enxtensions.
Peut être qu'il faudrait que je place les extensions dans un dossier plus system-wide.
Apparement, gdm3setup permettrais de modifier le thème Shell, mais je ne l'ai pas testé.

J'ai finalement trouvé la piste qu'il me fallait :
Le thème de base appliqué est situé ici : Cependant, le thème semble organisé différement, et plus en vrac.
Il m'as suffit de copier le fichier gnome-shell.css de mon thème, et de modifier un peu gdm.css.

Bonjour, Je suis en train de changer les différents thèmes Gtk, Gnome-shell pour mon environnement. J'essaye d'uniformiser GDM avec mon thème de bureau. J'ai trouvé différentes procédures pour changer le fond et le thème Gtk pour GDM. En revanche, impossible de changer le thème Gnome Shell qui semble ...