Gestion des subst dans Abstraction qui utilise la meme variable