modif reducenormalorder

Modification pour qu'après une substitution, on fasse bien un reduce
standard.