J'utilise docky même si ne je suis pas totalement convaincu par lui, mais il a le mérite d'être simple. Je l'utilise pour ne pas avoir à passer par le dash pour changer d'application ou faire un glisser/déposer. Il y a l'extension dash to dock qui permet aussi de compenser ce défaut mais il manque encore trop de chose pour le rendre pratique, notamment quand il y a deux terminaux ou deux Firefox d'ouvert. https://extensions.gnome.org/extension/ … h-to-dock/