Salut Ludo
Perso j'utilise Studio 10 qui permet de choisir son codec de sortie.
Sinon tu as Windows Movies Maker mais qui te sort uniquement du WMV : Beurk
Pour le choix du codec cela va dépendre de ton médium de diffusion.
Le divx (Xvid, MPG4...) reste incontournable en terme de rapport qualité/taille.
Le H264 est pas mal aussi.
On en rediscute si tu veux ::)