Et encore une extension pour #gnome pour palier à des fonctionnalités manquantes/intéressantes en upstream.
