Ildefonso (Spanish pronunciation: [san ildeˈfonso]), LaGranja (pronounced [la ˈɣɾaŋ.xa]), or LaGranjade San Ildefonso, is a town and municipality in the
Infante Juan, Count of Barcelona (Juan Carlos Teresa Silverio Alfonso de Borbón y Battenberg; 20 June 1913 – 1 April 1993), was a claimant to the Spanish