Peña Mayor ó Peña Larra, desde la Fortaleza de Tedeja