Большое спасибо за ответы!
Пример с ffmpeg работает.
-----
Если вы новичёк в работе с видео - то оптимально использовать именно Avidemux - он прост, завязан тоже на многих функциях ffmpeg и удобен для начального уровня, хотя поддерживает далеко не всё...
А вот
Avidemux у меня почему-то работать не хочет. Практически вообще
никак и ни с чем. Только сам запускается, ну в смысле сама программа стартует (если по её названию щёлкнуть). Но если попытаться открыть в ней какой-то фильм/видео, то сразу выдаются сообщения, что чего-то не хватает: кодека и т.п.
Я как-то пару раз пытался что-то сделать с помощью Avidemux. Не разобрался. Всё время он меня спрашивает о чём-то мне непонятном,

например, "индексировать файл? да/нет".
Ffmpeg я по крайней мере немного знаю, и с ним у меня быстрее получается.

Учитывая, что с Avidemux у меня пока никак не получилось. Надо было бы как-то разобраться с ним.