"real" en 1831, cuando se convirtió en la Real Sociedad.