Il existe un programme ultra-complet qui permet de convertir des vidéos de tout format en vidéos de tout format! Si si!
Son nom: MEncoder. C'est en fait une partie du lecteur MPlayer.
Vous pouvez avec convertir des vidéos depuis et vers quasiment tous les formats: DivX, Xvid, MPEG, DVD, VCD... et avec du son MP3, [...]

J'ai gardé la chose dans un coin sans en avoir besoin pendant longtemps. Puis là, ça y est, j'en ai eu besoin alors j'ai essayé la chose. C'est très pratique!