HS: si un utilisateur de KDE pouvait passer sur
https://forum.ubuntu-fr.org/viewtopic.php?pid=22428777#p22428777 , pour ma part ça fait très longtemps que je l'ai utilisé et je n'ai aucune idée de comment régler les tailles des barres.
@xubu: je regarderai le fil ce soir