[ok]

Ситуация: Есть примерно двадцать тысяч файлов различных форматов изображений, большинство джпег и бмп. Все различного размера от 300 на 300 до 10к на 10к. К сожалению, большинство фотографий куда как больше по размерам, чем мне надо и занимают несоразмерно много места.
Суть вопроса: Подскажите пожалуйста программу, которая умеет реализовывать групповые операции с файлами (в частности, мне нужно только изменение размера).
P.S. мне подсказали, что это умеет делать фотошоп, но мне не хотелось бы использовать - зачем мне скачивать 3-4гига (или сколько он там весит) и устанавливать громозкую программу, ради одного действия?