Peña Mayor ó Peña Larra vista desde el castillo de Tedeja, TRESPADERNE