Finalisation et export GIF
Export GIF
Une fois qu’on a créé une animation ne dépendant que d’un paramètre avec GeoGebra 5, on peut exporter le fichier au format GIF (Fichier/Exporter/GIF). On nous demande alors le temps où chaque image reste affiché, ce qui va régler la vitesse de l’animation. En général je choisis entre 60 et 100 ms par image pour une centaine d’images. Le nombre d’images étant déterminé par le pas du curseur. Au delà d’une centaine d’images, le fichier risque d’être trop volumineux.
Pour réduire la taille d’un GIF produit, on peut jouer sur deux facteurs : la taille de la fenêtre et le pas du paramètre. Si malgré tout le GIF produit est trop gros (par exemple pour être mis sur certains sites ou réseaux sociaux) le site ezgif.com propose plusieurs outils d’optimisation assez efficaces.
Enfin une autre technique que j’utilise maintenant et qui est plus générale est de faire une capture d’écran au format GIF, par exemple avec le logiciel gratuit ShareX sur Windows, mais il y en a d’autres, notamment ceux que vous trouverez sur FramaLibre : https://framalibre.org/tags/screencast.
En espérant vous avoir donné envie de vous lancer dans la création d’animation GeoGebra et vous avoir fourni de quoi démarrer. Vous trouverez des tutoriels en ligne et il peut être utile de télécharger une figure GeoGebra qui vous plait sur geogebra.org pour faire apparaître les objets créés ou voir le protocole de construction pour découvrir les techniques utilisées par des auteurs expérimentés.