En attendant que le format GIF tombe dans le domaine public (voir lien ci-dessous), nous vous proposons de passer vos GIF en PNG (format libre) et (surtout en fait) vos animations GIF au Format MNG (Format d’animation encore peu connu basé sur le PNG, toujours libre) d’un simple clic grâce à cette application Java.

Vous selectionnez le GIF animé que vous souhaitez convertir et le programme le transforme immédiatement. En général vous gagnez de façon significatif sur la taille du fichier.

Malheureusement le format MNG n’est pas du tout supporté par Internet Explorer (encore un argument en sa défaveur) et c’est pourquoi une applet (est-ce qu’on dit "appliquette" en french ?) Java est fournie avec AMortLesGIFs, afin de pouvoir visualiser les animations MNG même dans ce navigateur.

Note : le fichier à télécharger est à terminaison "tar.gz" que les linuxiens connaissent bien mais peut-être pas les windowsiens. Pour le "détarer" (en deux opérations successives) utilisez de préférence l’outil libre 7-Zip.

Bonus : Vous apprendrez en prime qu’est-ce que d’après l’auteur "emmerde le monde" !