Il est dispo ici en fichier Zip (4,8 Mo) :Moi j'utilise iSquint, un excellent gratuiciel très simple, mais malheureusement il n'est plus développé. Cela dit il marche très bien, et je suppose qu'on peut encore le trouver...
http://www.megaupload.com/?d=DNYIIT5L
Une merveille pour passer rapidement des avi en mp4 avec plusieurs choix de qualité donc de poids