Merci à tous pour vos conseils, ça a marché pour moi (c'était un .mkv codé en RV40).
Quelques précisions pour les néophytes en mon genre (je n'avais jamais ouvert le Terminal de ma vie !!) :
- Il faut télécharger mkvtoolnix (par exemple à l'adresse indiquée par Cortex page 1) et l'installer...