Come faccio (ovviamente con linux) a convertire un divx per poterlo leggere con un normale lettore dvd? -- Angelo B.