"Dintel del antiguo Colegio Menor de San Ildefonso" y más...