Correction de la trace d'execution.