Bonjour, je voudrais ajouter une animation GIF sur une vidéo, mais je ne sais pas quel logiciel utiliser, sauriez vous le renseigner ?