ça ne m´a pas l´air d´etre un logiciel pour mac, ça...
sur mac, j´utilise : Dpg converter (
http://somefreesoftware.com/ )
c´est à ma connaissance, le seul existant pour mac.
attention cependant: le choix du nombre d´images par seconde n´est pas réglable. du coup, j´ai eu souvent des problèmes de son décalé: maintenant, je convertis toujours le fichier video en 15 images par seconde avant via quicktime pro avant d´utiliser dpg converter.