utilise virtual dub, tu ouvres ta vidéo en xvid, tu fait vidéo/compression...tu choisi le codec divx...tu clique sur configure puis sur "calc..." et la en "target size" tu mets 715000.(avec le codec divx c´est peut etre pas exactement ca ,mais en gros ya un endroit ou tu rentre la taille que tu voudrais que ta vidéo fasse)
Ensuite file/save as avi...et t´as plus qu´a donner un nom a ta vidéo puis a attendre le réencodage