bonjoures,
excusez-moi, mais si c'est une anim swf, on pourrait tout bêtement faire une capture vidéo dans vlc, non?
sinon la bidouille habituelle, du gratuit mais proprio: super, avidemux, ivc... essaie de régler ta sortie en 60 ips, puisque c'est du vecteur que tu veux compresser en suite d'images (en gros). tout ça roule avec ffmpeg.
pour les histoires de masques, je me souviens être parvenu à une conversion avec super 2007, et en incrustant le son après coup. Mais c'était une anim faite sous flash mx.