tu confonds extention et format. Un divx a l'extention .avi, tout comme les xvid, et pleins d'autres formats.
Dans ton logiciel, une fois choisi l'extension .avi, dans compression tu verras tous les formats supportés par l'extension et installés sur ta machine (divx, xvid, indeo...). Si ca n'apparait pas, il faut télécharger et installer divx au préalable via divx.com.