Alto del Porto (Camino de Miravalles), TORMALEO