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_ltl.ltl_expressions_iter pretty_hash_ident_entry);
    fprintf !out_fmt "@?"(* Flush du flux *)

    close_out c; 
    out_fmt:=formatter_of_out_channel stdout