Je ne connais pas de soft qui font ce travail-là. Il y a bien une veille version de VirtualBub, mais à mon avis elle ne prendra pas tes WMV.
Dans la série, je suis original, il y a aussi Movie Maker 2. Qui exporte en AVI.
Sinon, il reste les produits commerciaux. Vegas, Premiere exportent des WMV en AVI.
Mais pourquoi convertir un WMV en AVI ? Pour refaire une compression derrière ?