Verification des trace