Pas d'outil spécialisé pour ça AFAIK.
Ou peut-être avec un éditeur qui poosède un plugin Real, mais je n'en connais pas...
Sinon, passer en wav (avec dbpoweramp + le codec real) et couper avec n'importe quel éditeur wav.
---------------
“What came first – the music or the misery?” ― Nick Hornby, High Fidelity