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.
---------------
It ain't contrived all this magic in our lives comes down like a storm then drizzles then dies