not with any savings in file size.
You could of course make an avi into a flash movie in a few ways....but it would still be avi size. Unlike a flash file that uses vector graphics and all (nice and small), the resulting file would still be just raw pic data (huge)
