method print_all =
prerr_endline ("* print_all");
let all_files = Globals.FileIndex.get_files () in
let print_one fic =
let (_,glob) = Globals.FileIndex.find fic in
prerr_endline ("* " ^ fic ^ " : " ^ (self#images glob))
in
List.iter print_one all_files