After testing several tools for Windows 10 found on the network, I had great difficulty in finding one that could carry around 5,000 PNG images in sequence and convert it into a video that was transmitted at the speed I wanted. I wasted a lot of time on something that is apparently simple.
The known ffmpeg would be a good alternative, but it did not work on my Windows 10 (permission denied). I tested a lot of free software, but most of it crashed or closed abruptly.
Until others can suggest a good solution here, preferably free, I will post my answer below, with a solution built on Java 8 itself.
Below my simple solution in Java 8 using NIO and JCodec.
JCodec maven dependencies
JCodecPNGtoMP4.java source