Più che grande direi colossale. La prima causa è che hai salvato in avi, ma non dici quale codec hai usato, probabilmente hai scelto quello che genera file più pesanti, se ti è possibile, controlla se puoi salvare in Mpeg 2 per una risoluzione da 720 x 576, ma se vuoi il filmato in HD dovresti avere minimo il codec MP4 oppure Mov, o anche Wmv, sicuramente il file diventa molto più leggero.
Altra cosa, anche se ci sono solo (per modo di dire) 478 foto, dipende quanto rimane il esposizione una foto, per esempio se la foto rimane visibile per 5 secondi, con un formato molto alto es: 3072 x 2304 px, il programma ti crea 125 foto identiche, per tanto calcolando che ogni foto, normalmente deve essere visualizzata per 5 secondi, in totale sono state create 11.950 foto, per tanto il codec più opportuno da usare è Mpeg4 (MP4) o Wmv (Windows Media Video) Però sinceramente non so se sono disponibili in Foto Manager.
Se questa risposta ti è stata d'aiuto clic l'icona con scritto Grazie qui sotto