Source: http://iml.univ-mrs.fr/~rodier/Cours/Substitution.tpts.pdf