Redefinition type Replay, redefinition type Trace, ajout show Trace