Correction d'une trace dexecution et ajout d'un label