🅭

# pour enregistrer directement une page HTML en PDF
# exemple :
wkhtmltopdf http://google.com google.pdf
# avec les fichiers locaux le rendu des illustations ne va pas de soi

# Shutter pour copie d'écran et anotation dans la foulée

# xbrzscale est une ligne de commande pour agrandir une imange PNG d'un facteur entier entre 2 et 6