Peux tu me dire quel est le format de la vidéo ?
A la sortie d´un appareil numérique c´est rarement compressé, mais 455 Mo pour 17 sec ca doit etre une super qualité ^^.
pour convertir ta vidéo, le plus simple est virtualdub (si je me souviens bien de la procédure)
Démarre VirtualDub
Select File->Open et choisi la vidéo que tu veux réduire.
Select Video->Compression et choisi le codec que tu veux utiliser (d´habitude du divx)
Select File->Save As AVI et choisis le nom du nouveau fichier.
Si tu peux aussi convertir en wmv ( format microsoft, meilleure probabilité de compatibilité avec un outil microsoft, sauf si chez crosoft ils sont débiles)
Je ne connais pas ce logiciel, mais il devrait marcher (je t´envoie le tutorial ou il devrait tout y avoir) :
http://www.divx-passion.nn.net/convertir-avi-en-wmv.php