ajout de subst + reducenormalorder

Ajout de subst et de reducenormalorder. Possibilité de modification si
besoin par la suite. A voir pour reduceCallByValue.