Il faut bien séparer les concepts :
L'extension *.avi n'est qu'une
extension. C'est en quelque sorte un conteneur pour un certain type de fichiers vidéos. Ces derniers peuvent avoir été encodés avec plusieurs
codecs (les plus courants étant le DivX et le Xvid).
D'autre part, il faut faire attention à un détail : un fichier *.mpeg (ou *.mpg) par exemple peut être renommé en changeant l'extension en *.avi : normalement, un logiciel comme Windows Media Player le lira tout de même sans problème.
Pour avoir toutes les infos utiles sur un fichier vidéo *.avi (ou bien pour savoir si c'est un "vrai *.avi" ou un *.mpeg renommé), le logiciel
GSpot est assez efficace.
Pour réencoder un *.avi avec un autre codec, le logiciel
VirtualDubMod est à coup sûr un bon choix. Sinon, RI4M, comme le conseille
Moonly, n'est pas mal non plus.