let
valeur (n : int) ((ls,_,_) : t_subst) : term =
valeur_elem n ls