Convertisseur MKV en GIF

MKV est l’extension de fichier de Matroska, un format conteneur ouvert lancé en 2002 et fondé sur EBML, un cousin binaire du XML. Il ne définit pas de codec propre : il les enveloppe, si bien qu’un MKV peut contenir de la vidéo H.264, H.265, VP9 ou AV1 avec un nombre quelconque de pistes audio, de pistes de sous-titres, de marqueurs de chapitres et même de polices jointes. WebM, le format vidéo du web, est un sous-ensemble restreint du même conteneur.

Cette souplesse explique pourquoi le MKV est la sortie par défaut de nombreux outils d’extraction de disques et un choix courant pour les enregistreurs d’écran. Elle explique aussi ce qui n’arrive pas dans un GIF : un GIF est un unique flux d’images sans son, donc une seule piste vidéo est utilisée et tout le reste demeure dans le fichier source.

Le chiffre ci-dessus est le plafond avant compression, et il montre quels réglages comptent. La largeur compte double, car elle modifie aussi la hauteur. La fréquence d’images et la durée comptent une fois chacune. Réduire les Couleurs aide plus modestement : le nombre de pixels reste le même, mais les codes LZW raccourcissent et les suites de pixels identiques s’allongent.

Une scène de film avec du grain sombre et des mouvements de caméra est le cas où le GIF est le plus pénalisé ; mieux vaut alors garder la vidéo en MP4 si la destination lit la vidéo. MKV en MP4 convertit le fichier entier. Pour votre propre page web, un WebP animé de la même scène conserve toutes les couleurs pour une fraction du poids.