Bonjour missfofy,
Ton fichier vidéo est peut-être déjà en DivX.
L'AVI est un "format" de fichier conteneur. Pour simplifié, c'est une boite qui permet de stocker des données audio (MP3, WAV, autres) et vidéo (MPEG, DivX, autres).
Un lien vers cette page qui récapitule différents termes employés en matière d'audio et de vidéo : http://www.tutoriels-animes.com/lexique.html
Pour connaitre les codecs de tes fichiers, tu peux employer des petits utilitaires comme MediaInfo ou GSpot par exemple.
Si tes fichiers sont au codec DivX, il te sera inutile de les convertir.
Maintenant, un logiciel comme SUPER par exemple, te permettra d'encoder (convertir) en DivX, si tu le souhaites
Cordialement
~ Petit poisson deviendra grand ~
Cocher la case problème résolu si c'est le cas