There are several thousands of very short videos in AVI format. You need all these files to convert in the above three format, keeping the file name (e.g. 0001.avi → 0001.mp4). Went through a bunch of converters, but none came, including due to the lack of support for group conversion.
I hope to help in the search of a subject.