Thank you all for your suggestions!
Finally, I ended up eating in Ezequiel, a big popular restaurant in Calle Ancha, quite close to the cathedral. It is always very busy and unless you eat very early or very late you would do well to reserve a table.
For my final meal before returning home...