Pic Long, Pic Badet, Pic Maou et Pic de Campbieil