My tiny mock-up is now nearly complete: I am able to play a music file stored on the SD card.
One bad news: the sound is very very bad, it has many glitches.
I have tried two boards, one with an audio jack output and the other a simple 4 Ohms speaker output. I have the same result, the sound is crappy.
Investigations is on going!