"San Ildefonso patrón del pueblo" y más...