le mieux pour contourner le bug et sauvegarder une session est de lancer "gnome-session-save" plutôt que d'utiliser la case. Changer la clé gconf /apps/gnome-session/options/auto_save_session avec gconf-editor doit faire la même chose que la décocher sinon -- Panel "Sessions" https://launchpad.net/bugs/43057