Bonjour,
Windows Movie Player fait cela tres bien. Ouvrir le logiciel, cliquer sur "importer une vidéo", choisir la vidéo à convertir. Ensuite, faire un cliquer-glisser de l'icone représentant votre vidéo vers le carré blanc en bas à gauche. Il ne reste plus qu'a exporter la vidéo : Fichier>Save Movie File. Suivre les instructions et c'est fini !
Pour info, je viens de faire la convertion : mon AVI faisait 35 Mo, en WMV, il n'en fait plus que 625 Ko, donc .... oui c'est légèrement moins lourd en WMV :D Mais attention la qualité peut laisser à désirer.
Ne prenez pas trop la vie trop au sérieux, c'est un jeu d'où lequel personne n'est jamais sortit