https://65bits.com/internet/compressez-vos-fichiers-pdf-avec-pdf-compressor-online.html