"glesia dedicada a San Martín, obispo, aunque la llaman “de los Santos Mártires”" y más...