Probleme de taille

Bonjour !
Un ami a enregistré avec un camescope un concert que nous avons réalisé, et je voudrais en faire des copies pour donner aux participants.
Un problème, c'est qu'une fois la vidéo mise sur ordinateur (.avi), elle pese 11.6 gigas !!
je pense que elle n'a pas été encodée en un format spécifique, et je voudrais alors savoir quel logiciel utiliser pour encoder la vidéo dans un format pluis approprié, afin d'obtenir une taille maximale de 720 mo.

merci d'avance !