G souvent encodé des vidéos en *gif, c assez facile.
Comme l´on dit K_MU et thecoco2, tu ouvres la vidéo avec virtual dub, tu choisis la séquence que tu veux enregistrer, tu enregistres la séquence en images, après tu vas dans le dossier ou tu as enregistrer les images, tu mets l´affichage en miniatures et tu supprimes une colonne sur 2 d´images ( "ctrl" + " 1 colonne sur 2 en surbrillance", puis " suppr"), si la vidéo était en 30 images par secondes, tu le refais encore une fois ( sauf si la séquance est assez courte), après tu ouvres le logiciel " gif movie gear" et tu insères les images, tu mets le tt en 7 ou 15 images par secondes ( largement suffisant pour un gif), après ça peut aussi dépendre de la vidéo, tu peux mettre en 10fps, 20fps etc..., et ensuite t´enregistres.
Y´a encore pleins d´autres fonction dans " gif movie gear", comme de redimmensionner la séquence ou faire une capture de mouvement, ce qui réduit considérablement la taille du gif, mais vu que j´ai pas le logiciel sous les yeux j´peux pas trop t´en dire plus, enfin tu verras par toi même.