Virtual Dub, filtre resize. Il te faudra reencoder, donc perte de qualite.
La pluspart des lecteurs multimedia integrent maintenant, soit par ffdshow soit en dur, une fonction pour redimensionner un fichier video "a la lecture", ce qui permet d'eviter le reencodage.