GIF Graphics Interchange Format. Format de fichiers graphiques. C'est un des formats les plus répandus sur le web car les images sont très compressées. Voir aussi : Gif animé