Ridurre la dimensione di documenti PDF singoli o multipli in GNU/Linux Bash e Python