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'image sous > Fichier.
Par contre si tu souhaites exporter une vidéo, il faut choisir un format adapté : AVI ou MOV par exemple. Mais comme tu l'as dit, le AVI est très lourd quand il n'est pas compressé, c'est pour cette raison qu'on lui applique généralement un codec (comme le DivX) pour réduire sa taille en perdant le moins possible en qualité.
Pour exporter en DivX, il faut d'abord télécharger et installer le codec DivX (cf Google), ensuite tu ajoutes ta composition à la
file d'attente de rendu (cf chapitre 7 du cours), puis tu cliques sur
Module de sortie et tu choisis
Vidéo pour windows comme format.
Il ne reste plus qu'à cliquer sur
Options de format et choisir DivX dans la liste des codecs disponibles. Après il faut configurer DivX (il y a pas mal d'options, tout est détaillé dans mon
tuto sur la compression DivX).
Enfin, en ce qui concerne la preview, il faut juste appuyer sur le bouton lecture dans le panneau Navigation (ou pav Num 0).
"Si tu veux me parler, envoie-moi un... FAX !" - George Abitbol