<citation de="Jérôme"> > https://extensions.gnome.org/extension/358/activities-configurator/ Qui permet de changer la couleur du panel haut. :-D Je sais plus quel numero correspond , mais le PB semble régler. -- " L'ennui dans ce monde, c'est que les idiots sont sur d'eux, et les gens censés plein de doutes..." -+- Inconnu -+-