Les .avi sont des conteneur audio/vidéo au même titre que les .ogm ou les .mkv et DivX n'est qu'un codec utilisé pour compressé la vidéo...

Va sur www.divx.com et prend la version gratuite de DivX et installe là pour voir si elle va apparaitre. S'il était déjà installé, alors désintalle le et essaye la version gratuite.