Faire un gif en python en 4-5 lignes de code

```
import imageio
filenames = ["sketch.png", "original.png"]
images = []
for filename in filenames:
   images.append(imageio.imread(filename))
imageio.mimsave('movie.gif', images, "GIF", duration=1)
```

Exactement ce que je cherchais.