L'AVI est un conteneur Microsoft de 1992, encore lisible partout et incapable de porter l'essentiel de ce que la vidéo a appris depuis. Le GIF est une palette de 256 couleurs au plus, une transparence tout ou rien, et de l'animation. ffmpeg se tient entre les deux, et cette page dit exactement ce qui arrive à un fichier AVI en route vers le GIF.
Ce qui s'exécute quand un fichier AVI devient un GIF
ffmpeg tenu sur un seul fil d'exécution, sur une machine que nous louons et que nous surveillons. Votre fichier AVI est envoyé une fois, ffmpeg s'exécute une fois, le fichier GIF revient, et aucun des deux fichiers n'est conservé. AVI vers GIF 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 qui survit du fichier AVI dans le fichier GIF
Le rapport d'image de l'AVI. Le moteur met à l'échelle sur la plus petite valeur entre 1280 pixels et la largeur source, laisse la hauteur suivre, et l'arrondit à un nombre pair parce qu'un encodeur en 4:2:0 refuse un nombre impair. Un AVI déjà large de 1280 pixels ou moins n'est pas redimensionné du tout.
La durée et l'ordre des images. ffmpeg réencode l'AVI, il ne le remonte pas : le GIF commence et finit là où l'AVI commençait et finissait.
Ce que la conversion AVI vers GIF vous coûte
Le son, entièrement. Le GIF n'a aucune piste audio : ni mauvaise, ni discrète, aucune. Si l'intérêt de votre AVI tenait à ce que quelqu'un y dit, ce n'est pas la bonne cible, et convertir en MP3 ou garder l'AVI est ce qu'il vous faut.
La plus grande partie des couleurs. Un GIF en porte 256, choisies fichier par fichier, quand une vidéo en porte seize millions : ffmpeg construit une palette et y projette chaque image. Un dégradé, un ciel ou un visage éclairé d'un seul côté, voilà où le coût se voit, sous forme de bandes.
Chaque pixel, une fois de plus. L'AVI est décodé en images brutes puis réencodé en GIF : ce que l'AVI avait déjà perdu reste perdu, et cette passe ajoute ses propres pertes par-dessus. Passez un fichier quatre ou cinq fois dans la boucle et les dégâts se voient sans les chercher.
Toute largeur au-delà de 1280 pixels. Le moteur réduit l'AVI à 1280 parce que le coût d'encodage grandit avec le nombre de pixels : une source 4K coûte environ seize fois une source 1080p, pour un GIF que personne n'avait demandé si gros. En dessous de cette largeur, rien n'est touché.
Les pistes de sous-titres et de données. ffmpeg passe -sn et -dn à l'entrée du GIF, parce que la plupart d'entre elles n'entrent pas dans le conteneur et qu'un multiplexage qui échoue sur un sous-titre gâcherait une image pourtant parfaitement convertie.
Tout ce qui dépasse 120 secondes d'AVI. ffprobe mesure la durée avant que l'encodeur démarre, et un AVI plus long revient en refus en moins d'une seconde plutôt qu'en expiration quatre minutes plus tard.
Si un modèle doit lire le fichier GIF
Rien dans AVI vers GIF n'aide un modèle de langue, et prétendre le contraire serait un argument de vente et non un fait. Un GIF, ce sont des pixels et du son, tous deux coûteux à lire et aucun des deux n'étant du texte. Si ce que vous voulez vraiment, c'est ce qui se dit dans l'AVI, le bon geste n'est pas le GIF du tout : extrayez la piste audio en MP3, ce qui coûte un demi-crédit et revient en une seconde environ, puis faites-la transcrire.
En passant AVI vers GIF sur le moteur réel avec un vrai fichier, ffmpeg a écrit 173 720 octets au format GIF en 0,2 secondes, machine par ailleurs au repos. C'est un fichier AVI un jour donné et non une moyenne, et c'est pourquoi le nombre est donné avec le fichier qui l'a produit.
Le verdict AVI vers GIF 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 GIF contient.
Le même fichier AVI, envoyé ailleurs
Les autres sorties que la sonde a mesurées à partir d'un fichier AVI, pour que le coût du choix du format GIF 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 AVI.
AVI vers MP3 : 24 711 octets en 0,2 secondes, vérifié par ffprobe.
AVI vers MP4 : 48 231 octets en 0,3 secondes, vérifié par ffprobe.
AVI vers WAV : 267 342 octets en 0,1 secondes, vérifié par ffprobe.
AVI vers FLAC : 156 801 octets en 0,1 secondes, vérifié par ffprobe.
AVI vers OGG : 9 164 octets en 0,1 secondes, vérifié par ffprobe.
AVI vers M4A : 27 896 octets en 0,2 secondes, vérifié par ffprobe.
Les autres routes vers GIF, et ce qu'elles ont mesuré
Parmi les routes publiées vers GIF, AVI est la quatrième plus grosse sortie des 19 mesurées. Les fichiers témoins diffèrent : ce classement porte sur la sonde et non sur votre document.
BMP vers GIF : 3 799 octets en 0,1 secondes.
FLV vers GIF : 173 530 octets en 0,1 secondes.
HEIC vers GIF : 2 918 octets en 0,1 secondes.
HEIF vers GIF : 2 918 octets en 0,1 secondes.
ICO vers GIF : 3 799 octets en 0,1 secondes.
Ce que nous ne prétendrons pas sur AVI vers GIF
Un fichier AVI de plus de 150 Mo est refusé avant la fin de l'envoi plutôt qu'après, pour que vous n'attendiez pas un refus.
Une conversion AVI vers GIF qui dépasse 240 secondes est tuée, et le processus ffmpeg 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.
Le fichier AVI derrière la mesure de cette page, c'était 3 secondes de mire en 320 par 240 à 25 images par seconde, avec une sinusoïde sur la piste audio, fabriqué par ffmpeg pour la sonde elle-même. Voilà pourquoi AVI vers GIF est sorti à 0,2 seconde, et ce n'est pas ce que fera votre fichier. La mesure prouve que la paire fonctionne et ne dit presque rien du temps que prendra la vôtre.
La vidéo est la seule chose sur ce site qui coûte réellement du temps machine, et le coût varie de deux ordres de grandeur selon l'encodeur que réclame le conteneur : sur cette machine, une minute de source 720p est sortie en AVI en 8,4 secondes et en WebM en 87, et la même minute en 1080p a pris 104 secondes. Comptez pour un GIF entre une fraction de la durée de l'AVI et le double de celle-ci, pas le dixième de seconde du fichier de sonde.
Un AVI de plus de 120 secondes est refusé avant que le moindre encodage démarre, avec une réponse qui nomme les deux limites, 150 Mo et 120 secondes. Ce n'est pas une manœuvre commerciale : deux minutes d'encodage GIF, c'est à peu près deux minutes de la seule machine qui existe, et le trafic en direct partage les deux mêmes cœurs.
AVI vers GIF est la seule conversion d'ici qui ne soit pas facturée au tarif plancher. Elle coûte 2 crédits par minute d'AVI, toute minute entamée compte, et comme le moteur refuse au-delà de 120 secondes une conversion AVI vers GIF ne peut jamais coûter plus de 4 crédits. Le chiffre est sur le bouton avant que vous appuyiez.
Un encodage GIF à la fois, et cela a été mesuré avant d'être décidé. Deux transcodages simultanés tiennent en mémoire, environ 320 Mo chacun, mais chacun passe de 104 secondes à 189 : cette machine manque de processeur, pas de mémoire, si bien que le débit gagne dix pour cent pendant que l'attente double. AVI vers GIF fait donc la queue sur un seul créneau et abandonne au bout de 25 secondes plutôt que de s'empiler.
Rien ici ne lit ce qu'il y a dans l'AVI. Pas de transcription, pas de détection de scènes, pas de résumé : AVI vers GIF est une opération de conteneur et de codec, et le GIF dit exactement ce que disait l'AVI, dans un autre emballage. L'image est toute la marchandise.
Un fichier AVI à la fois, choisi dans le navigateur. Il n'y a rien d'autre à régler et rien d'autre à proposer.
AVI vers GIF : les questions que l'on pose
Qu'est-ce qui convertit vraiment mon fichier AVI en GIF ?
C'est ffmpeg qui s'en charge, tenu sur un seul fil d'exécution, sur une machine que nous louons et que nous surveillons. Ni astuce de navigateur, ni service d'un tiers : le fichier AVI est envoyé une fois, ffmpeg s'exécute une fois, le GIF revient, et aucun des deux fichiers n'est conservé ensuite.
Combien de temps prend une conversion AVI vers GIF ?
La sonde a mesuré 0,2 seconde pour 173 720 octets de GIF, sur une mire de 3 secondes, et ce chiffre est honnête sur la tuyauterie et inutile sur votre fichier. Une cible vidéo réencode chaque image : comptez entre une fraction de la durée de l'AVI et le double de celle-ci. L'AVI est refusé au-delà de 120 secondes, donc le pire cas est borné.
Qu'est-ce que je perds en passant de l'AVI au GIF ?
Celle qu'il faut connaître en premier : le son, entièrement. Le GIF n'a aucune piste audio : ni mauvaise, ni discrète, aucune. Si l'intérêt de votre AVI tenait à ce que quelqu'un y dit, ce n'est pas la bonne cible, et convertir en MP3 ou garder l'AVI est ce qu'il vous faut.
Pourquoi mon GIF est-il revenu plus étroit que l'AVI ?
Parce que le moteur plafonne toute sortie vidéo à 1280 pixels de large. Le coût d'encodage grandit avec le nombre de pixels, et un AVI en 4K coûterait environ seize fois un 1080p sur une machine qui sert aussi tout le monde. Un AVI à 1280 pixels ou moins revient à sa taille, intact.
La conversion AVI vers GIF est-elle gratuite ?
Il y a une franchise gratuite chaque mois, et AVI vers GIF est la seule conversion d'ici qui ne soit pas facturée au tarif plancher : 2 crédits par minute d'AVI, toute minute entamée comptée, plafonnés à 4 crédits puisque le moteur refuse au-delà de 120 secondes. Réencoder un GIF coûte du vrai temps machine, le prix suit donc le temps qu'il coûte. Le chiffre est affiché avant que vous appuyiez sur quoi que ce soit.