Réponse:
Vous pouvez enregistrer les animations sous forme de fichier AVI (*.avi) à l’aide du menu « Outils » → « Créer un fichier vidéo ». Les barres de menu, les barres du navigateur et les tableaux ne sont pas pris en compte.
Vous pouvez sélectionner différents types de fichiers vidéo. Vous pouvez également contrôler la qualité et le nombre d’images par seconde. Rappel : des intervalles de temps plus petites donnent un fichier plus volumineux, mais également une vidéo plus fluide.