Finally I’ve been able to convert the video to animated GIF.

Despite the colour reduction (max 256 colors) results are very good in my opinion. I used VisualDub that easily and fastly converts videos into animated GIFs.

Here are the 3 animated GIFs for videos from yesterday loop (CLICK ON THE IMAGE TO SEE THE ANIMATED VERSION):