Transcript Correction d`un programme par rapport à sa spécification - open-DO