Déjà il faut savoir qu´un fichier Bitmap n´est pas un fichier d´image animée et qu´un Gif est juste un assemblage de plusieurs images statiques en .jpg, .png, .bmp... auquel on a rajouté un défilement et un tempo.
Généralement, quand on enregistre une image .gif sur son pc, elle est enregistrée au format .gif directement, si non, l´extension du fichier peut se changer par le biais d´un menu déroulant au moment où on essaie d´enregistrer l´image.