cerco un software (free o no) che mi permetta di fare questa conversione
video REAL => AVI oppure WMV oppure MPEG

c'è qualcosa in giro?

(ho provato con google ma niente...)