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