j´ai jamais trouvé mieux que ça:
http://www.01net.com/telecharger/windows/Multimedia/codecs/fiches/13123.html
Divise la taille par 8 avec quasi pas de perte en qualité.. et gratos
Perso je converti les . avi en . bik puis de . bik vers . exe ( vidéos executable..codecs inclus)