In the option window dialog of the pdf export feature, I have to choose whether the images are with a lossless compression file format or with a jpeg file format.

Sometimes, if you convert a png image into a jpeg, the file size is inflating.
In most cases, if you convert jpeg images into png, the file size is inflating.
I would like a third option in order to keep the lossless and jpeg format but adapt the resolution in all cases.

For example, if you have a document with a png image and a jpeg images, both will keep their original file format but their resolution would be possibly changed or they could be cropped, etc.