E possibile trasformare un'animazione flash in un file .avi? a me sembra di si , ma non so quale programma usare?

Aiutatemi!