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)