Det heter att konung Alfonso,