bon un petit point :
1. le divx est un format de compression qui s'appuie sur le format de fichier avi. Il se peut donc que tes avi soient du divx (pour savoir, tu le lance avec media player tu fais fichier propriétés puis onglets "options avancées et tu regardes s il y a divx ecrit; si oui ca veut dire que ton avi est compressé divx)
2. Si tu veux compresser ton mpeg en divx (avi) utilise virtualdub : www.virtualdub.org c gratuit
Si tes avi ne se sont pas reveles etre compresses divx (ce dont je doute) tu peux aussi passer par vdub