Détails de la réponse

Je voudrais le convertir en un fichier AVI par exemple.

Je te conseil vivement Avidemux pour cela.
Il sait bien convertir ce que tu veux (encore fait-il que les codecs
nécessaires soient installés) en ce que tu souhaite.
C'est plus utilisé pour du découpage que de l'encodage, mais fait
largement le travail.