An attempt with another file trimmed about 10 Mo from the original which was around 90 Mo. That one is mp4 though. That's more like it, although the other file I tried still doubled in size (2nd attempt). Would this mean that the .mkv compresses the original file this much ? And that all is normal ?