Pourquoi transformer un GIF en vidéo ?
Le GIF est un format de 1987. Il stocke chaque image comme une image à part, avec 256 couleurs au maximum et une compression simple : quelques secondes d'animation pèsent donc vite plusieurs mégaoctets. Un codec vidéo comme H.264 ou VP9 ne stocke que ce qui change d'une image à l'autre et gère bien mieux les couleurs. Les GIF tirés de vidéos ou de photos ne pèsent donc souvent plus qu'une fraction de leur poids, alors que les petits GIF à quelques couleurs unies, comme les icônes, gagnent peu et peuvent même grossir légèrement.
C'est utile partout où le poids compte : les pages web se chargent plus vite, les messageries et les réseaux sociaux acceptent le fichier sans se plaindre des limites de taille, et les présentations ou les e-mails restent légers. Beaucoup de sites affichent d'ailleurs déjà les GIF sous forme de vidéo en coulisses, précisément pour cette raison.
Durée, transparence et tailles impaires
Chaque image du GIF entre dans la vidéo avec sa propre durée : les passages lents et rapides de l'animation se jouent exactement comme avant. Les images qu'un GIF marque sans délai durent 0,1 seconde, comme dans les navigateurs.
Les vidéos MP4 et WebM créées ici n'ont pas de transparence : les parties transparentes du GIF sont remplies avec la couleur de fond de votre choix, le blanc par défaut. H.264 demande aussi une largeur et une hauteur paires ; si votre GIF fait 375 pixels de large, la vidéo reçoit une colonne de plus qui répète les pixels du bord, sans rien étirer ni couper. Les très petits GIF, de moins de 32 pixels de côté, sont agrandis d'un facteur entier parce que les encodeurs vidéo n'acceptent pas des tailles aussi petites ; les pixels restent nets.
Une vidéo se lit une seule fois, sauf si le lecteur la met en boucle. Les sites web et la plupart des réseaux sociaux bouclent automatiquement les vidéos courtes, mais si vous voulez un extrait plus long, par exemple pour une présentation, réglez Répéter sur 3, 5 ou 10 fois.