let rec valeur_elem n = function
  | (m,t)::l -> 
      if n=m then 
        t 
      else 
        valeur_elem n l
  | _ -> Var(n)