Convertir GIF en MKV

Vous pouvez convertir GIF en MKV gratuitement et sans compte : déposez le fichier ci-dessus et, une ou deux secondes plus tard, le résultat est prêt à télécharger. La conversion se fait dans votre propre navigateur : le fichier n’est donc jamais téléversé. Cela marche sous Windows, macOS et Linux comme sur iPhone et Android, et continue de marcher si vous coupez le réseau.

  • Où cela s’exécute Dans votre navigateur. Le fichier n’est pas téléversé.
  • Avec perte Un peu de détail est échangé contre du poids. MKV ne peut pas tout garder de ce que garde GIF.
  • Limite de taille Jusqu’à 100 Mo par fichier, gratuitement et sans compte.
  • Bon à savoir Le résultat n’a pas de son, un GIF n’ayant rien pour en porter. Chaque image garde sa propre durée : une animation aux pauses irrégulières se joue donc telle qu’elle a été conçue, et non à une vitesse moyennée.

Jusqu’à 100 fichiers à la fois. Les formats mélangés ne posent pas de problème.

Pourquoi une vidéo de la même animation est beaucoup plus petite en MKV

Toute la différence tient à une idée : la compensation de mouvement. Un encodeur vidéo stocke une image complète puis, pour chacune des suivantes, ne note que ce qui a changé. Une animation de logo se déplaçant sur un fond fixe ne coûte presque rien après la première image, parce que presque rien n’est différent.

Le GIF n’a aucun mécanisme de ce genre. Il stocke chaque image comme une image entière, l’une après l’autre, avec au plus 256 couleurs chacune. Cette conception date de 1989 et n’a jamais changé : c’est pourquoi un GIF de cinq secondes peut peser plus lourd que la vidéo d’une minute dont il a été tiré. Convertir range la même animation d’une manière fondamentalement plus efficace, et le gain est presque toujours spectaculaire.

MKV est un conteneur ouvert, sans les contraintes d’iTunes

MKV, ou Matroska, est un projet open source qui vise à être un conteneur universel pour ce qui peut être rangé en pistes : vidéo, audio, sous-titres, chapitres, pièces jointes. C’est en concurrence directe avec MP4, MOV et AVI, et la différence est en grande partie philosophique : MP4 a un standard ISO payant, MOV est propriétaire Apple, AVI est un conteneur Microsoft des années 1990, MKV est ouvert, sans brevet, et activement maintenu.

Pour un fichier qui ne contient qu’une piste vidéo H.264 sans son, le choix de conteneur n’a presque aucune importance technique. Pour un fichier qui contiendra plus tard d’autres pistes — sous-titres dans une langue, audio dans une autre, chapitres pour un montage — MKV est en général le bon conteneur. Pour un usage immédiat et minimal, MP4 est plus universellement lu par les navigateurs et les téléphones — c’est une autre page.

La cadence d’images en MKV, et les délais inégaux des GIF

Un GIF fixe un délai par image en centièmes de seconde, et rien n’impose que ces délais soient égaux. Les GIF tournent donc couramment à des cadences qu’aucune caméra n’a jamais produites : 12,5 images par seconde, ou un mélange de cadences dans un même fichier.

La conversion conserve ce minutage au lieu de l’arrondir à quelque chose de propre, ce qui garde l’animation à la vitesse pour laquelle elle a été faite. Si cela paraissait correct en GIF, cela paraît correct en MKV. Pour un GIF qui déclarait dix images par seconde, la vidéo aura dix images par seconde ; pour un GIF qui mélangeait vingt et trente, la vidéo mélangera les deux.

Pas de son dans un MKV, et il ne peut pas y en avoir

Un GIF ne porte pas de son. Le MKV non plus dans ce cas, parce que la conversion n’invente pas une piste audio qui n’existait pas dans la source. Le résultat est muet, ce qui est exactement le comportement attendu pour cette page.

Pour un fichier qui doit avoir du son, c’est une autre opération : convertir le GIF en MKV, puis ajouter une piste audio dans un logiciel de montage, est la séquence correcte. Un lecteur moderne lira le MKV muet sans signaler d’erreur, et un embed HTML5 avec `muted autoplay loop playsinline` se comportera comme attendu. Pour un usage de présentation, c’est l’ensemble des attributs à mettre.

La transparence disparaît en MKV, et ce qu’il faut faire

Un GIF peut déclarer une couleur transparente. MKV n’a aucune transparence en pratique, donc les pixels transparents sont composés sur une couleur pleine — du blanc, sauf si l’on choisit autre chose. Le contrôle est sur la page, et le défaut est blanc.

Pour la plupart des GIF cela ne change rien, parce que la plupart ont déjà un fond opaque. Pour l’animation d’un logo destinée à se poser sur une page colorée, cela change tout. Si la transparence est le sujet, le WebP animé la conserve et se lit tout de même dans tous les navigateurs — c’est une autre page, et c’est la bonne destination pour un GIF qui doit garder sa transparence.

La taille d’un MKV issu d’un GIF, en ordre de grandeur

De dix à trente fois plus petit est la fourchette ordinaire, et elle s’élargit à mesure que l’animation est statique. Une capture d’écran d’un menu qui s’ouvre — des pixels pour l’essentiel inchangés — peut être cinquante fois plus petite. Une gerbe de confettis où chaque pixel bouge s’approche plutôt de cinq.

L’autre économie est celle qu’on oublie : un GIF doit être téléchargé en entier avant de tourner correctement, alors qu’une vidéo démarre sur ses premières images. Sur un téléphone, c’est souvent la différence que l’on remarque vraiment. Le ratio dépend du contenu, et le seul arbitrage défendable est de mesurer sur le fichier lui-même.

Le MKV à la place d’un GIF sur une page web

Un GIF se lance seul, tourne en boucle et n’a pas de commandes, et l’on s’attend raisonnablement à ce que son remplaçant fasse pareil. Un élément vidéo fait tout cela, mais seulement si vous le demandez : `autoplay`, `loop`, `muted` et `playsinline`. C’est l’attribut `muted` qui piège les gens — tous les navigateurs refusent de lancer seule une vidéo avec du son, et un remplaçant de GIF n’a de toute façon pas de son, donc le déclarer ne coûte rien.

Tous les navigateurs actuels lisent MKV dans une balise vidéo HTML5, ce qui n’a pas toujours été le cas : Safari et les navigateurs basés sur WebKit ont mis du temps à supporter Matroska, et la situation s’est stabilisée récemment. Pour un fichier destiné à un site web, tester dans le navigateur qui vous importe avant de généraliser.

Ce que la conversion vers MKV ne peut pas réparer

Les couleurs étaient déjà réduites. Un GIF en contient au plus 256 par image, et le moindre effet de bandes qui en découle est cuit dans les images que reçoit l’encodeur. Le MKV les enregistre fidèlement et n’ajoute pas de palette à lui, donc l’animation ne s’abîme pas — mais elle ne récupère pas ce que le GIF a jeté au moment de sa fabrication.

Si vous avez la vidéo d’origine dont le GIF a été tiré, la convertir directement donnera toujours un meilleur résultat que convertir le GIF. Cette page est pour le cas courant où le GIF est tout ce dont vous disposez.

Le GIF est décodé et le MKV est encodé dans votre navigateur

Le GIF est décodé par le navigateur image par image, l’encodeur H.264 tourne dans le même onglet, et le résultat est écrit localement. Aucune requête ne porte le fichier, il n’y a pas de file d’attente, pas de quota journalier.

Pour une démonstration interne, c’est la proposition matériellement différente d’un site qui demanderait un téléversement. Pour une archive de GIF techniques accumulés depuis des années, MKV est aussi une bonne destination d’archive, parce que le conteneur ouvert vieillit mieux que les formats propriétaires et que la compression H.264 continuera à être lue dans vingt ans.

Comment convertir GIF en MKV

  1. Déposez votre fichier GIF sur cette page, ou cliquez pour en choisir un.
  2. Choisissez MKV comme destination. La conversion se fait dans votre navigateur et le fichier n’est pas téléversé.
  3. Téléchargez le fichier MKV terminé.

GIF et MKV : ce qui change

GIF face à MKV
GIFMKV
Nom completGraphics Interchange FormatVidéo Matroska
Extension de fichier.gif.mkv
Type de médiaimage/gifvideo/x-matroska
CompressionSans perte — rien n’est écartéAvec perte — la taille se paie en qualité
Première publication19872002
Publié parCompuServe
SpécificationGIF89aMatroska
LicenceStandard ouvertStandard ouvert
Situation actuelleAncien, encore lu partoutActuel
Profondeur de bits8
Couleur qu’il peut décrirepalette indexée
Image la plus grande65 535 px par côté
S’ouvre dans un navigateurTous les navigateursCertains navigateurs
Envisagé à la placeWebP, MP4MP4, WebM

Ouvrir le résultat

Une partie des navigateurs seulement lit MKV. C’est le moins portable des deux : mieux vaut s’assurer que le destinataire l’accepte avant de l’envoyer.

MKV est un conteneur, pas un format unique. Ce qui se lit, c’est le codec à l’intérieur — le plus souvent H.264, HEVC et AV1 — et c’est pourquoi deux fichiers de même extension peuvent se comporter différemment sur le même appareil.

GIF date de 1987 et n’est guère plus utilisé. MKV est ce qu’écrivent les logiciels actuels : convertir, c’est aussi rester lisible.

Les logiciels habituels ne se recoupent pas : GIF s’ouvre dans GIMP, Adobe Photoshop et ImageMagick, MKV dans VLC, MKVToolNix et HandBrake — celui qui reçoit le résultat a donc besoin d’un logiciel de la seconde liste.

À quoi sert chaque format

Les deux visent des usages différents : GIF le web, MKV l’archivage et la remise d’un fichier fini. Cela mérite d’être pesé avant, car ce qui justifie l’un est souvent ce qui rend l’autre malcommode.

GIF est le format de CompuServe, publié en 1987. L’enregistrement se fait sur 8 bits par canal.

MKV date de 2002, décrit par Matroska. VLC, MKVToolNix et HandBrake le lisent.

GIF a été publié en 1987 et MKV en 2002. Le plus ancien est en général le fichier le plus sûr à remettre ; le plus récent fait le même travail en moins d’octets.

De GIF à MKV : questions fréquentes

Mon fichier GIF est-il téléversé quelque part ?

Non. Cette conversion se fait entièrement dans votre navigateur : le fichier ne quitte donc pas votre appareil. Vous pouvez le vérifier vous-même — ouvrez l’onglet réseau des outils de développement et convertissez quelque chose. Vous verrez la page elle-même et les requêtes de statistiques et de publicité qui financent ce service, et pas une seule qui transporte votre fichier. Le moteur de cette paire précise est mediabunny, une enveloppe autour de WebCodecs, qui emprunte les décodeurs matériels de votre appareil ; votre navigateur le télécharge une fois puis le garde en cache.

Convertir GIF en MKV est-il gratuit ?

Oui. Pas de compte, pas de filigrane et pas de quota journalier à dépenser : cela tourne sur votre propre machine, vous pouvez donc revenir autant de fois que vous voulez. Le navigateur traite des fichiers jusqu’à 100 Mo, 100 à la fois. mediabunny est téléchargé sur votre machine et s’y exécute, et c’est pourquoi rien n’est compté.

Y a-t-il une perte de qualité en convertissant GIF en MKV ?

MKV compresse, des données sont donc perdues. Au réglage par défaut cela ne se voit pas ; pour en être sûr, montez la qualité. Le résultat n’a pas de son, un GIF n’ayant rien pour en porter. Chaque image garde sa propre durée : une animation aux pauses irrégulières se joue donc telle qu’elle a été conçue, et non à une vitesse moyennée.

Un fichier MKV s’ouvre-t-il dans un navigateur ?

Une partie des navigateurs seulement lit MKV. C’est le moins portable des deux : mieux vaut s’assurer que le destinataire l’accepte avant de l’envoyer.

Quel codec se trouve dans le fichier MKV ?

MKV est un conteneur, pas un format unique. Ce qui se lit, c’est le codec à l’intérieur — le plus souvent H.264, HEVC et AV1 — et c’est pourquoi deux fichiers de même extension peuvent se comporter différemment sur le même appareil.

En savoir plus sur ces formats

D’où viennent ces chiffres

Ce que cette page affirme sur GIF et MKV se vérifie : voici les documents qui le fixent.