ten AVI bude asi nejaky divx nebo xvid?
co si slibujes od zmenseni? pokud z toho zase udelas divx, bude obraz toho videa horsi, to ti nevadi?
nebo muzes pouzit neco s lepsi kompresi pri zachovani stejne kvality, typicky H264, ale ten se casteji pakuje do MKV nez do AVI.
Programu na tohle je hafo, staci pohledat na google "video converter", "convert divx to h264" apodobne, zalezi co presne chces delat.