Reduire la taille dun fichier video wmv