Changement de variables : subst substituer

On se reportera à la commande subst de la section 6.14.21.