Convertir une vidéo en GIF sur iPhone

L'application Raccourcis sur iPhone dispose d'un raccourci pour convertir des vidéos en GIF avec des opérations très simples.