Pic d’Aneto, point culminant des Pyrénées