«Santa Sofía» —o «Hagia Sophia»— es el nombre de: