Script en Python para reducir el tamaño de un documento pdf.