je ne fais non plus rien d'autre que ça "exporter en gif animé"
après avoir réglé la taille de la fenêtre de Geogebra, le zoom et le cadrage
nota 2 : c'est à dire ? [ça marche à l'intérieur d'une page web]
tu ouvres un onglet de navigateur internet sur une page vide
(ou sur une page quelconque d'ailleurs, mais moi les nouveau onglets s'ouvrent sur une page vide)
tu fais glisser à la souris le fichier gif animé depuis l'explorateur de fichiers vers cet onglet
je fais ça dans un nouvel onglet pour ne pas perdre la navigation en cours (par exemple la navigation sur l'ile )
mais ça marche aussi bien dans la page d'accueil d'un navigateur tout juste démarré.
une animation plus fluide donc plus grosse (900K au lieu de 100) par pas de 0,1 au lieu de 0,5
j'ai restreint mon curseur à [1; 10] car a <1 revient à échanger A et B,
et a = 0, hum ... (1/a ??)