Convertir un GIF en PNG

Ce que devient l’animation

Convertir un GIF animé en PNG consiste à prélever des images dans une image animée : le PNG n’a aucun moyen de stocker une animation, un GIF animé devient donc soit une image fixe, soit un ensemble d’images séparées, une par vignette.

C’est la surprise la plus fréquente sur ce type de conversion, et c’est précisément là que la plupart des outils restent muets. Un GIF contient une suite de vignettes ainsi que les durées entre elles. Un fichier PNG contient une image. Aucun agencement de ces deux faits ne permet à une animation de survivre intacte : tout convertisseur doit donc trancher, et la plupart tranchent à votre place sans le dire.

Ici le choix vous revient et il est visible. Par défaut, c’est la première vignette, parce que c’est ce que veulent la plupart des gens et ce que les autres outils font de toute façon en silence. Passez sur toutes les vignettes et vous obtenez un PNG numéroté par image, rassemblés dans un ZIP. Le nombre de fichiers s’affiche à côté du sélecteur avant la conversion : trois GIF de 24 images vous annoncent donc 72 fichiers au lieu de se contenter de les produire.

Exporter toutes les images d’un GIF animé

Extraire les images une à une d’un GIF est réellement utile. C’est ainsi que l’on récupère un plan fixe propre depuis un extrait de réaction, que l’on redécompose une planche de sprites en images séparées, que l’on vérifie ce qu’une animation compressée a vraiment fait à un logo, et que l’on reconstruit une animation dans un autre logiciel sans repartir de zéro.

C’est aussi la partie de la conversion GIF vers PNG que presque personne ne traite correctement. Sur les dix outils positionnés pour ce terme, les deux premiers ne disent absolument rien de ce qui arrive à une animation : vous téléversez un fichier de 24 images et vous le découvrez après. Un site spécialisé GIF bien connu sait exporter toutes les images, mais cela se trouve sur une autre page, exige d’envoyer le fichier sur un serveur, et précise que les téléversements sont supprimés une heure plus tard. Un autre fonctionne entièrement dans le navigateur mais ne donne qu’une image à la fois, n’a pas de mode par lot et réserve l’usage gratuit aux projets personnels.

Ce que cette page fait différemment n’a rien d’astucieux : c’est simplement complet. Les images sont lues en local par le décodeur d’images du navigateur, toutes sont exportées en une seule passe, plusieurs GIF peuvent passer ensemble, et le nombre total de fichiers produits est à l’écran avant que vous ne validiez. Chaque image conserve sa propre transparence et les fichiers sortent numérotés dans l’ordre de lecture, si bien qu’un ZIP de quatre-vingts images reste navigable.

Ce que cet outil ne fait pas

Deux choses que l’on cherche souvent en même temps que la conversion GIF vers PNG dépassent ce qu’un navigateur peut faire sans embarquer énormément de code supplémentaire. Le dire clairement est plus utile qu’une réponse floue.

Si vous regardiez du côté de l’APNG parce que vous vouliez garder l’animation tout en obtenant un fichier plus léger et de meilleure qualité qu’un GIF, il existe une voie plus pratique : convertir l’animation en WebP