Bonjour
Une solution déjà appliquée a un autre manuel en ligne:
Tu installe pdf creator sur ton pc (gratuit)
Tu mets pdf creator comme imprimante par defaut
Tu consulte chaque page et tu imprime (ctrl+P) pour faire vite
Puis tu installe pdfsam (autre freeware), c'est un soft qui te réunit difs pdf en un seul
Et voila
Je t'aurais bien dit qu'apres tu peux en faire profiter tout le monde
mais je pense qu'il y a des droits sur ce manuel et qu'on ne peut pas en faire ce que l'on veut (à part pour soit même)
Tiens en passant j'ai fait qq essais avec silkypix et je trouve les résultats superbes rien qu'avec les réglages par defaut donc en "fouillant" un peu plus ça doit être encore mieux