il y a des tas d'outils pour cela, le plus simple, à mon avis, étant DivX Converter qui fait partie du pack
DivXCreate 6.x
un peu moins simple mais très bon outil, qui plus est, entièrement gratuit,
VirtualDub (ou
VirtualDubMod ou encore
VirtualDub-MPEG2)