Bonsoir,

N'ayant que la version 8.
Pour un export en wmv.
Fichier -> Exporter -> Exportation Windows Media.
Au niveau des préréglages, choisir un des profils proposés et en fonction de la résolution désirée.

Bien cordialement.
DéDé.