Oh in fact it is just that the .mp4 captures made with my Xiaomi Redmi 7 are not uploadable, as is.
I just have to trim them in the included video editor, even just some milliseconds at the beginning, and save.
It makes a new smaller video, then I could upload this new .mp4, no problems!