let rec add_elt e s =
  match s with
      [] -> [e]
    | e'::s' ->
        if (e = e') then s'
        else e'::(add_elt e s')