Un petit script pour Linux permettant de réduire drastiquement la taille d'un fichier PDF sans perdre en qualité. Pratique quand on crée un PDF mais que celui-ci pèse très lourd (c'est notamment le cas quand on scanne un document).