4.18.5 Change of variables :
subst
See the
subst
command in the section
4.12.16
.