let vars t =
  let 
    ajouter ens el = 
    if List.mem el ens then 
      ens 
    else el::ens
  in
  let 
    union ens1 ens2 = List.fold_left ajouter ens1 ens2
  in
    iter_term 
      (fun x -> [x]) 
      (fun x y -> y) union [] t