Sauvegarder PGM: fini (il l'était presque au premier push)