Réparation workspace.xml