@Miaourt Mais non là c'est 100% la màj Gnome, je suis sur Gnome3 depuis des années je n'ai jamais eu aucun problème. Les thèmes sont mis à jour...
Je sais que je ne suis pas le seul car j'ai vu l'article d'un mec qui rage en cherchant autour de ça, tape "gnome 42 theming" ou "gnome 42 inconsistencies" :-/