Trasaformare piccola sequenza video in Gif

[Special]

Come mi conviene agire?

Salvo fotogramma x fotogramma con prog di video editing, li converto in jpg e poi costruisco la gif?

Esistono programmi che fanno da soli invece?