subst jusqu'a Variable