Comment transformer une page HTML en document PDF tout en gardant les liens hypertextes ?

Solution : en utilisant le programme htmldoc.