Iglesia de San Ildefonso, cúpula y pechinas, TOLEDO