Господа, есть ли программа, которая может конвертировать НЕСКОЛЬКО графических файлов из одного формата в другой (напр., из tif в gif)? Фишка именно в том, чтобы несколько файлов сразу - т.е., выбрал их, нажал на кнопку и понеслась.

Конвертировать по одному файлу могут многие программы, но это не подходит, т.к. нужно перегнать несколько сотен картинок.