Peña Mayor ó Peña Larra visto desde la fortaleza de Tedeja