En fait la seul extension #gnome que j'utilise est dash to dock, j'ai lancé tombé coverflox alt-tab il est bien moins pratique que le truc de base en fait