Vorrei esportare video avi o mov di alta qualità avendo come fonte file swf esiste un codec (anche esterno al software flash) adatto a questo scopo?

Grazie