Faire des GIFs à partir de vidéos en python

Pour cela, Zulko utilise MoviePy (github) — en même temps, c’est de lui :þ. Il montre comment faire convertir des bouts de vidéos, recadrer, figer une partie de l’image, ajouter du texte… Tontof en avait déjà subrepticement parlé ; il va falloir que je regarde ça de plus près. http://zulko.github.io/blog/2014/01/23/making-animated-gifs-from-video-files-with-python/