djvu made, after a pdfshuffler local crop (5% bottom - 2 first pages) and ghostscript flatten layer, with http://any2djvu.djvuzone.org (400 dpi + OCR assume...