GIF en MP4
Faites glisser le GIF, appuyez sur Shift et déposez-le sur MP4. L'animation devient une vidéo, généralement bien plus légère que le GIF, à publier sur Instagram ou à placer dans une présentation.
Essai gratuit · macOS 14 ou ultérieur · Apple silicon et Intel
Comment convertir GIF en MP4
- 1
Commencez à faire glisser le fichier GIF, depuis le bureau ou n'importe quel dossier.
- 2
Sans le lâcher, appuyez sur Shift. Un anneau de planètes s'ouvre autour du fichier, une pour chaque format possible.
- 3
Déposez le fichier sur la planète MP4. La copie en MP4 apparaît à côté de l'original un instant plus tard.

Pourquoi le MP4
Instagram, TikTok et beaucoup de logiciels de montage n'acceptent pas les GIF : ils veulent du MP4. La version vidéo d'un GIF est aussi souvent 80 à 90 % plus légère.
La planète MP4 n'apparaît que pour les fichiers GIF, puisque les autres images n'ont pas d'animation à convertir.
PlanetOS fait tout cela sur votre ordinateur. Vos fichiers ne sont jamais envoyés en ligne, et il fonctionne sans connexion internet.
Questions
Le MP4 tourne-t-il en boucle ?
Le MP4 se lit une fois ; la plupart des apps sociales et des lecteurs relancent d'eux-mêmes les vidéos courtes.
Y a-t-il du son ?
Non, les GIF n'ont pas de son.