convertir vcd en divx

[Thierry B <debian@thierry.eu.org>]

Bonjour,

J'ai un cd ou il y a plein de reps: cdi,ext,mpegav,segment,vcd donc je 
suppose que c'est au format vcd.

Y'a t'il un soft sous debian, pour convertir cela en divx par exemple?

Merci :-)