dans : video>filter>add filter tu choisis le filter resize et tu configures le filtre (nouvelle taille et mode d'interpolation)
Mais ça ser à rien en général de retrafiquer un divx, faudra que tu recompresses le tout et ça va te donner un résultat tout pas bô.