Correction dans la structure de la trace d'execution.