Cúpula de la iglesia de San Ildefonso.