VSO divxtodvd le fait.
Tu trouveras plusieurs noms de logiciels ici
http://www.commentcamarche.net/forum/affich-1463390-comment-transformer-fichier-avi-en-dvd
Les lecteurs DVD acceptant les DivX sont à 50€. Sinon regarde sur le site du constructeur de ton lecteur si tu trouves pas de MAJ sinon.