Comment annuler mes dernières modifications sur Dolphin ?