repairing a l'état initial