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