Slow progress, while I was in the audio functions, I added the ability to change the audio driver and the audio device from the gui. For the device, most computers have only the default sound card, but for the one I have plugged to a tv, it has actually 4 devices, 1 for the analog output, 1 for the digital output (the digital plug behind the computer, that's the one I have been using for many years), 1 for hdmi 0, and the last for hdmi 1, these 2 hdmi being what the video card exports.
Which finally allows me to switch easily the sound between the stereo and the tv, I had never actually used the sound output on the hdmi until now on this setup, it doesn't sound bad...
For the driver, it shouldn't be useful for most users, for wndows it's directsound by default. For linux it's pulseaudio if possible, otherwise alsa, otherwise dsp. The names of the output devices change depending on the selected audio driver... ! And each audio driver can have a preferred frequency, so the default frequency changes with it.
Also the neocd raw audio tracks which worked previously only if you had set your audio output at 44.1 Khz (cd quality), now work with any output frequency, and it doesn't sound bad at 11 Khz actually ! (at least for the game which I tested, which was viewpoint). The conversion for the wav/mp3/ogg/flac format was already done automatically, there was only this raw format which had no conversion and which required 44.1 Khz output.