Il a dit divx vers avi, et pas divx vers dvd (nerovision le fait très bien sinon)
divx est un codec, .avi est un conteneur, tu peux tout a fait avoir des .avi encodés en divX, ou en xvid etc...
de même, tu peux tout a fait avoir des divX encodés en avi, mkv, .divx etc...
http://www.funix.org/fr/linux/conteneur.htm