let fpp_header fmt d =
begin
d.Formula.d_title fmt ;
Format.pp_print_newline fmt () ;
( match d.Formula.d_source with
| Some { Lexing.pos_fname=f ; pos_lnum=k } ->
Format.fprintf fmt "%s:%d: " f k
| None -> () ) ;
d.Formula.d_descr fmt ;
end