FWIW the battery on my car died a few months back with pretty much the same symptoms. It was also 10 years old. The fitted battery was Exide EFB, so I replaced it with another Exide EFB and coded it myself. No settings for the radio were lost or for anything else. There was no warning of failure for the old battery, it just died. The stop/start may have been a bit less keen to kick in but it still did work until the end. I know conventional wisdom is that the batteries only last 6 years or so, but my experience on this and my previous Leon is that closer to 10 years is possible.