C'est simple tu ouvres la vidéo dessus et dans les onglets "Video" et "Audio" tu vas dans "Compression...", puis la tu choisis le codec a utiliser pour la compression vidéo et audio et tu règles les paramètres de qualité.
Apres tu "Save as AVI...".
Il faut avoir les codecs de ton choix installés auparavant bien sur.