Comment Redimensionner un fichier .avi

[z_or]

j'ai un fichier .avi avec une video en divx et un son en mp3,
Actuellement la video est en 720 * 576
J'aimerai redimensionner la video pour que l'image soit plus petite,
Quel logiciel accepte de redimensionner la video à partir d'un .avi?

Merci pour votre aide :)

[BoF]

g bien peur que tu sois obligé de recompresser...
->virtualdub avec le filtre resize