[Jackydown]

Virtual dub doit te permettre de réencoder ta vidéo dans le format que tu veux.
Sinon le media player classic te permet de redimensionner l'image (tres pratique d'ailleurs), mais c'est que pendant la lecture.