Cohabitation budgie-desktop/plank avec gnome

Salut
Pour essayer budgie-desktop avec son lanceur d’applications plank sans modifier son environnement gnome-shell, ma petite astuce sur: