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