Altura de la iglesia de San Miguel