Coma Pedrosa is the highest mountain in Andorra. It is popular with mountain climbers, its ascent being technically straightforward, although strenuous. From Arinsal to Camp de Refuge is considered moderate meanwhile the last 862 m is considered to be difficult. Several mountain lakes and tarns are found on the slopes, including Estanys de Baiau, which lies on the western slopes, across the Spanish border.