Borja de Riquer — Catalan historian