Comment réduire la taille de fichiers PDF

Solution : en recourant à un shareware.