It converts literally every format into every other format and can also apply some filters while doing so.
thank you very much for that link.
It is a little more complex to use (having to choose between all those formats :D ), but it has some very nice feature, like time stamp, animation etc.
Good catch !
thank you very much !
Very interesting this update of the software.