Le GIF est une palette de 256 couleurs au plus, une transparence tout ou rien, et de l'animation. L'ICO est une icône Windows, plafonnée à 256 pixels de côté par la structure du fichier elle-même. ImageMagick se tient entre les deux, et cette page dit exactement ce qui arrive à un fichier GIF en route vers l'ICO.
Ce qui s'exécute quand un fichier GIF devient un ICO
ImageMagick 6.9.12, sur une machine que nous louons et que nous surveillons. Votre fichier GIF est envoyé une fois, ImageMagick s'exécute une fois, le fichier ICO revient, et aucun des deux fichiers n'est conservé. GIF vers ICO fait partie des 3649 paires sur lesquelles ce moteur a été sondé avec un vrai fichier, et c'est pour cela que cette page existe quand celles que la sonde n'a pas su prouver n'existent pas.
Ce que la conversion GIF vers ICO vous coûte
Toutes les images du GIF sauf la première. Le GIF sait porter une animation, l'ICO non : c'est donc la première image qui revient. L'autre solution serait un fichier ICO numéroté par image, et plus aucune réponse unique à vous remettre.
Tout GIF plus grand que 256 pixels de côté. Ce n'est pas un réglage, c'est la structure du fichier ICO : la largeur et la hauteur tiennent chacune dans un seul octet. Le moteur réduit les sources plus grandes, et seulement les réduit, si bien qu'une photo de téléphone devient une icône de 256 pixels.
Si un modèle doit lire le fichier ICO
Un fichier ICO, ce sont des pixels, et les pixels coûtent cher à lire pour un modèle. Avec cet ICO entre les mains, un assistant dépense son budget à regarder l'image plutôt qu'à la lire, et il paraphrasera ce qu'il croit avoir vu. Si votre GIF est surtout fait de mots, le geste utile est d'en extraire le texte, pas de changer le format d'image qui le porte.
GIF vers ICO, mesuré plutôt que promis
En passant GIF vers ICO sur le moteur réel avec un vrai fichier, ImageMagick a écrit 202 814 octets au format ICO en moins d'un dixième de seconde, machine par ailleurs au repos. C'est un fichier GIF un jour donné et non une moyenne, et c'est pourquoi le nombre est donné avec le fichier qui l'a produit.
Le verdict GIF vers ICO a été obtenu par une signature de format, c'est-à-dire que au moins quatre octets propres au format ont été trouvés au bon décalage. Le contrôle employé compte, parce qu'ils ne prouvent pas tous la même chose, et un code de statut 200 ne prouve strictement rien sur ce que le fichier ICO contient.
Le même fichier GIF, envoyé ailleurs
Les autres sorties que la sonde a mesurées à partir d'un fichier GIF, pour que le coût du choix du format ICO se lise face à quelque chose. Les tailles ne se comparent pas d'un moteur à l'autre, chaque famille ayant été sondée avec son propre fichier témoin GIF.
GIF vers PDF : 1 092 578 octets en 0,9 secondes, vérifié par une signature de format.
GIF vers JPG : 20 559 octets en moins d'un dixième de seconde, vérifié par une signature de format.
GIF vers PNG : 3 894 octets en moins d'un dixième de seconde, vérifié par une signature de format.
GIF vers TIFF : 848 536 octets en 0,2 secondes, vérifié par une signature de format.
GIF vers MP4 : 54 682 octets en 0,3 secondes, vérifié par ffprobe.
GIF vers WEBM : 49 644 octets en 2,0 secondes, vérifié par ffprobe.
Les autres routes vers ICO, et ce qu'elles ont mesuré
Parmi les routes publiées vers ICO, GIF est la plus grosse sortie des 10 mesurées. Les fichiers témoins diffèrent : ce classement porte sur la sonde et non sur votre document.
HEIC vers ICO : 99 422 octets en moins d'un dixième de seconde.
HEIF vers ICO : 99 422 octets en moins d'un dixième de seconde.
SVG vers ICO : 99 422 octets en moins d'un dixième de seconde.
TIFF vers ICO : 99 422 octets en moins d'un dixième de seconde.
WEBP vers ICO : 99 422 octets en moins d'un dixième de seconde.
Ce que nous ne prétendrons pas sur GIF vers ICO
Un fichier GIF de plus de 25 Mo est refusé avant la fin de l'envoi plutôt qu'après, pour que vous n'attendiez pas un refus.
Une conversion GIF vers ICO qui dépasse 30 secondes est tuée, et le processus ImageMagick avec elle. Une exécution abandonnée resterait posée sur l'un des deux cœurs de la machine jusqu'à ce que quelqu'un le remarque.
Aucun texte n'est extrait du GIF nulle part sur ce chemin. Convertir une image en ICO ne la transforme jamais en mots, quoi que cette image porte.
ImageMagick n'était pas saturé à seize conversions simultanées : il a tenu 47,5 par seconde pendant que la latence passait de 0,22 s à 0,34 s, et la mémoire du service n'a pas bougé de 51 Mo. C'est la marge mesurée derrière GIF vers ICO, pas un chiffre de brochure.
Un fichier GIF à la fois, choisi dans le navigateur. Il n'y a rien d'autre à régler et rien d'autre à proposer.
GIF vers ICO : les questions que l'on pose
Qu'est-ce qui convertit vraiment mon fichier GIF en ICO ?
C'est ImageMagick qui s'en charge, en 6.9.12, sur une machine que nous louons et que nous surveillons. Ni astuce de navigateur, ni service d'un tiers : le fichier GIF est envoyé une fois, ImageMagick s'exécute une fois, l'ICO revient, et aucun des deux fichiers n'est conservé ensuite.
Combien de temps prend une conversion GIF vers ICO ?
Sur le fichier utilisé par la sonde, ImageMagick a mis moins d'un dixième de seconde et écrit 202 814 octets d'ICO. C'est une mesure réelle sur un fichier GIF réel, pas une moyenne et pas une promesse sur le vôtre : un GIF plus gros prend plus longtemps, et au-delà de 30 secondes l'exécution est arrêtée.
Qu'est-ce que je perds en passant du GIF à l'ICO ?
Celle qu'il faut connaître en premier : toutes les images du GIF sauf la première. Le GIF sait porter une animation, l'ICO non : c'est donc la première image qui revient. L'autre solution serait un fichier ICO numéroté par image, et plus aucune réponse unique à vous remettre.
Puis-je utiliser l'ICO comme favicon ?
Oui, et c'est la raison habituelle de cette paire. L'ICO est le conteneur d'icônes de Windows, et la taille du GIF que vous envoyez décide de ce que vous obtenez : tout ce qui dépasse 256 pixels de côté est réduit pour tenir, tout ce qui est en dessous est laissé exactement tel quel, si bien qu'un GIF de 32 pixels donne une icône de 32 pixels. Envoyez-en un carré si vous le pouvez.
La conversion GIF vers ICO est-elle gratuite ?
Il y a une franchise gratuite chaque mois, et une conversion GIF vers ICO coûte un demi-crédit dessus. Quand la franchise est épuisée, l'outil le dit et s'arrête, plutôt que de vous remettre discrètement un ICO moins bon.