Salut salut,
Bon je répond un peu tard. Regarde si ton logiciel de montage vidéo peut exporter en .gif, on y pense pas toujours. J'utilise Camtasia, et en choisissant "custom" à l'exportation j'ai ce format disponible.
Fais bien attention au framerate aussi, s'il est trop élevé ton .gif sera trop lourd.
Par exemple, ce .gif de moins de 5 secondes — 640×320, 256 couleurs, 10 fps, 2,91 Mo