je ne sais pas si ma solution est la plus simple mais bon :
perso j'utilise flask pour encoder : tu as le choix d'encoder vob par vob ou toutes les vob d'un coup.....
toujours est t'il qu'apres tu obtiens 1 ou plusieurs fichier avi selon la methode choisie plus haut....
Après => virtual dub, tu decoupes tes fichiers comme tu l'entend , les reassemble....
pas tres compliqué....
c'est bien du divx que tu veux faire au moins ??