Avec virtualdub cela peut se faire mais pas en progressif enfin je crois pas. Ce que tu vas obtenir c est de l entrelacé (avi oblige)
Tu peux utiliser soit un filtre propore au soft soit directement redimensioner la video avec le codec de ton choix...
Par contre il va te falloir un bon pc avec un processeur récent sinon tu vas mettre du temps car bon c'est une résolution élevée là.