Le gif n'est pas un format vidéo mais un format d'image fixe (tu peux quand même exporter ton animation en gif animé, pour faire un smiley animé par exemple). Si tu veux exporter l'image courante (en gif, jpeg, png ou bmp, enfin en ce que tu veux), il faut aller dans Composition > Enregistrer l'imag...