title: Église Saint-Ildefonse
text: # Église Saint-Ildefonse
  
  L’église Saint-Ildefonse peut faire référence à :
  
  * un édifice religieux à Porto, au Portugal ;
  * un édifice religieux à Séville, en Espagne ;
  * un édifice religieux à Tolède, en Espagne.
  