let pr_poly = function
  ppf -> function p -> Format.open_box 0 ;
                       Format.print_string (string_of_poly p) ;
                       Format.close_box () ;