vlc peut encoder aussi, c'est peut-être le plus simple pour commencer : menu fichier, convertir/enregistrer, ajouter le fichier en question.
puis après le profil "mpeg4/ACC (mp4)" par exemple, comme fichier de destination indiquer un nom de fichier en .mp4
ça donne un fichier .mp4 facilement lisible par les lecteurs vidéo normalement.
sinon je retiens le logiciel ci-dessus, je vais tester ça .
à noter qu'en choisissant le débit on peut avoir un fichier plus ou moins gros.