Au fait, attention si comme moi, vous avez installé un certain nombre d’extensions Gnome 3, certaines ne devraient pas être compatibles.