Mettiamo abbia una serie di immagini, tutte con base superiore agli 800 pixel. Io voglio prenderle e, in un'unica botta, ridimensionarle tutte a 800 mantenendo ovviamente le proporzioni. Cosa posso usare di gratis?