Pascal Legrand Thu, 04 Jul 2019 05:37:40 -0700
De mon côté sur Debian SID avec Gnome, j'utilise Tint2 avec bonheur Bonne journée
-- Pascal