14 : Randonnée pédestre. Puerto de San Miguel.