Transformer un VOB en divx

[BmailDB <bmaildb@free.fr>]

Bonjour,

Je n'y connais absolument rien en video et je voudrais transformer des 
vob présents sur un dur en "divx".
Quand je dis "divx", c'est à prendre au sens large ... disons le 
"format d'encodage, libre si possible et compatible dvd de salon, qui 
prend peu de place". Le but du jeu étant de faire rentrer des vob 
pour un total de 6 et quelques gigas sur un dvd 4.4 giga.
Quels outils utiliser ?
Avez-vous des liens traitant du B.A BA de l'encodage ?

Merci à toutes et tous.

Bertrand