Les préférences utilisateur sont sauvegardées

Les préfétences utilisateur n'étaient pas sauvegardées. Ce patch corrige peut-être le bug...