J'ai eu la réponse par PG Music.
En fait, pour utiliser un son Ketron avec Realband, après avoir avoir défini la piste midi, il faut la transformer en piste audio.
A partir de là, on travaille normalement. Y compris pour exporter en wav.
On peut pas dire que ce soit pratique pratique...