Простейший конвертер группы файлов видео в несколько форматов
 

На просторах интернета нашел вот этот плеер: http://videojs.com/
Исходя из того, что написано там, форматов Ogg Theora и MP4 хватит с головой для всех браузеров, включая мобильные. Не лишним будет добавить еще и WebM, чисто на будущее.

Так вот. У меня есть несколько тысяч очень коротких avi роликов, которые мне нужно сконвертировать в вышеперечисленные форматы. Знаю, что есть гугл, но, в последний раз, когда я искал конвертеры, всё время попадались либо платные, либо с вирусами, либо убогие и глючные. Просьба подсказать удобный, желательно однокнопочный, конвертер видях.

Octane, дада, я его уже нашел :)
Только устанавливается долго (включая .нет фреймворк 4) и запускается так же из-за нестандартного гуя.

Ну .нет фреймворк не только ему нужен.
Про запуск ничего не могу сказать, на ноутбуке с Core i7 и SSD все конвертеры быстро запускались, перепробовал много, искал бесплатный с поддержкой CUDA, этот самым лучшим показался. Часто с помощью него кодирую фильмы в H.264, чтобы в дороге смотреть на нетбуке, за год еще ничего не испортил.

Всё равно спасибо.