Pour cela on peut utiliser le programme wkhtmltopdf
ou bien phantomjs avec le script rasterize.js
A noter :
- wkhtmltopdf peut produire des documents avec des tailles de polices différentes entre 2 pages web d'un mếme site web (vu au travail), il coupait aussi une ligne entre deux pages du document pdf
- rasterize.js a produit un document PDF avec une police moins jolie que wkhtmltopdf chez moi
