Salve.
Mi sapete indicare un programma che mi permetta di convertire un file realaudio (rm) in un mp3 (o wave, o ogg)?

Oppure un modo per redirigere l'output dell'esecuzione di un rm in un file wave...

Sergej