Oublie les logiciels payants, il y a plein d'encodeurs gratuits.
Je suppose que ta vidéo est en 50 ou 60 fps, il faut donc virer une image sur 2 pour que ta télé l'accepte donc ré-encode vers du 25 ou 30 fps selon que tu pars de 50 ou 60 fps.
Mais si tu veux du mp4 ou mkv, ça n'ira pas avec Virtual Dub qui peut les ouvrir mais exporte seulement en avi. Tu peux toujours exporter en lossless puis encoder l'avi en mp4 mais ça devient compliqué, donc tourne-toi plutôt vers des encodeurs style Handbrake, Super, Avidemux, Mediacoder, ...