pour ça il te faut virtualdub (free) et le codec dv.
sinon, tu peux aussi importer ton fichier avi dans un logiciel de montage (studio8 par ex) et faire l'export en divx (en ayant pris soint de lister tout les codecs et choisi le codec que tu veux pour la compression dans le panneau des paramètres). tout cela est valable bien sur si tu parles bien des fichiers avi dv!!