notion de substitution