let rec converter l =
  match l with
  | E(f, g)       -> E(converter(f), converter(g))
  | Nao(E(Nao (f),g))   -> Ou (converter (f), converter (Nao g))
  | Nao(E(f,g))   -> Ou (converter (Nao f), converter (Nao g))
  | Ou (f,g) -> Ou ( converter(f), converter(g))
(*  | Ou ( (Nao f), g) -> Ou ((converter(Nao(f), converter(g))))
  | Ou ( f,(Nao g)) -> (converter (f),converter(Nao(g)))
  | Nao (E (f,g)) -> (converter Ou((Nao(f), (Nao(g))))    *)
  |_-> l;;