Le format .mng est au .gif animé ce que le .png est au .gif :-). Le problème est qu'il n'est pas aussi uniformement reconnu par les logiciels que le png. Je ne sait pas si remplacer des gif animés par des mng sur une page web soit bien vu par beaucoup de browsers (a tester... Essaie bêtement un 'convert truc.gif truc.mng' et tu verra bien ce que tu peux faire de ton .mng).
Sinon, pour le coup du gif de 15Mo, c'est pas forcément surprenant. Le gif animé est surtout fait pour avoir de petites anims de quelques frames, et la compression n'est pas forcément très performante (je ne sais pas sur quoi elle est basée). Pour info, le dernier gros GIF que j'ai généré faisait 21Mo pour 491 frames d'images 500x500 (et il n'y a que 3 couleurs différentes dans toutes les frames...).
[^] # Re: Alternative libre pour les gifs animés ?
Posté par THE_ALF_ . En réponse au message Convertir vidéo en gif89. Évalué à 2.
Sinon, pour le coup du gif de 15Mo, c'est pas forcément surprenant. Le gif animé est surtout fait pour avoir de petites anims de quelques frames, et la compression n'est pas forcément très performante (je ne sais pas sur quoi elle est basée). Pour info, le dernier gros GIF que j'ai généré faisait 21Mo pour 491 frames d'images 500x500 (et il n'y a que 3 couleurs différentes dans toutes les frames...).