Grand bonsoir à toi.

Merci. Gnome est en pleine mutation et mon bon vieux thème en GTK2 ne pourra plus tenir le coup très longtemps. Donc, il faut que je commence à voir ce que je peux faire en personalisation.

...