[Je ne sais pas ou est passé ma première réponse...]
> J'ai essayé mpeg2enc mais manifestement, la version courante est
> boguée (Could not read YUV4MPEG2 header...) et il n'y a pas l'air
> d'avoir trop de solution sans recompiler une sous-version...
mpeg2enc marche bien il suffit de lui passer les bonnes options ;)
> Est-ce qu'il existe autre chose ? Je n'ai pas l'impression. Je ne
> trouve que des front-ends à cet outil...
Dans kino tu a un onglet exporter (puis l'onglet MPEG) qui fait ce que
tu veux.