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 "// associations : \n" ;
(Data_for_aorai.ltl_expressions_iter pretty_hash_ident_entry);
fprintf !out_fmt "@?"; (* Flush du flux *)
close_out c;
out_fmt:=formatter_of_out_channel stdout