À défaut de pouvoir utiliser Peek (parce que non disponible pour Windows), je connais une méthode faisant appel à FFMpeg (qui est de toute façon l’outil employé par tous les convertisseurs vidéo) pour générer des GIF à partir de vidéos. Ça tient en une ligne de commande (bon, pas très Windows-friendly, mais au moins, tu ne lances pas une usine à gaz pour ne faire que ça) :
ffmpeg -i input.mp4 -vf palettegen palette.png && ffmpeg -i input.mp4 -i palette.png -lavfi paletteuse output.gif |
(Les noms de fichiers mentionnés ne sont que des exemples, et l’étape initiale de génération de palette est là pour bénéficier de couleurs indexées, afin d’éviter d’avoir un résultat dégueulasse sur le GIF qui aurait utilisé sans ça la palette 256 couleurs par défaut de Windows)
Évidemment, l’idéal est de ne pas avoir des dizaines de vidéos à convertir à chaque fois (et en espérant qu’elles ne fassent pas la taille de l’écran, parce que le GIF animé est un format franchement lourd, d’où la conversion en vidéo sur Twitter et compagnie)…