Muchas gracias Karmikopa. Sospechaba que el título provenía de Aragón pero no estaba seguro. Esto que dices de nominal es cierto porque Juan Carlos también es:
* Rey de España, de Castilla, de León, de Aragón, de las Dos Sicilias (referido al Nápoles y Sicilia), de Jerusalén, de Navarra, de Granada, de Toledo, de Valencia, de Galicia, de Mallorca, de Sevilla, de Cerdeña, de Córdoba, de Córcega, de Murcia, de Menorca, de Jaén, de los Algarves, de Algeciras, de Gibraltar, de las Islas Canarias, de las Indias Orientales y Occidentales y de las Islas y Tierra Firme del Mar Océano;
* Archiduque de Austria;
* Duque de Borgoña, Brabante, Milán, Atenas y Neopatria;
* Conde de Habsburgo, Flandes, el Tirol, el Rosellón, y Barcelona;
* Señor de Vizcaya, y Molina;
(copiado de Wikipedia)
Muchos de estos sitios ya hace siglos que la monarquía hispanica y la Corona de Aragón los perdieron, pero aun se ponen.