Ach so... Nein !
 
Dans VirtualDub, tu règles ton menu Vidéo sur Full Processing Mode (il l'est déjà par défaut normalement) et ton menu Audio sur Direct Stream Copy (idem). Tu choisis ton codec dans Video\Compression (en l'occurrence Divx), tu le paramètres, puis tu fais File\Save as AVI.

cool ! merci !
D'après ce que j'ai pu tester, le meilleur compromis qualité/taille est de loin INDEO VIDEO 5.10 en qualité 50%

 
Ah ouais ? C'est pas du Divx, hein ! Mais c'est vrai qu'il est pas mal...

plus petit que du divX et de largement meilleure qualité !
Par contre c'est pris en standard par Windows Media Player où ça necessite un add on ?

 
Ben si tu l'as dans VDub, c'est qu'il est installé sur ton système, donc WMP pourra le lire. Mais ça veut pas dire qur t'as la dernière version pour autant... Je sais qu'il vient en standard avec Windows mais je sais plus dans quel release. Il y a des versions plus récentes sur le Web.
Pour info, c'est un codec de chez Intel.