Thanks a lot to both of you; the Audio Profiles add-on works perfectly for me! Thank you also for the additional recommendation to improve the audio quality, VLouis, which was also mentioned in the thread shared by Da Flex. Not being a pro, I suppose the best solution for me is the USB Audio Adapter. Do you know if it will just appear among the audio output devices which can be selected in the system settings, or if some additional changes have to be carried out in config.txt or elsewhere?
I'm using this, but needs some wiring and settings in the config.txt. Before to switch to I2S DAC, I tried a cheap USB adapter (what I already had it), after reboot appeared in the Kodi audio settings as a new audio output. As that Adafruit USB Audio Adapter is recommended for RPi, should work in the same way.