let output ltl_form file =
  let c = open_out file in
    out_fmt:=formatter_of_out_channel c ;
    fprintf !out_fmt "%s\n\n" (ltl_form_to_string ltl_form); 
    fprintf !out_fmt "@?"(* Flush du flux *)
    close_out c;
    out_fmt:=formatter_of_out_channel stdout