Finalmente, la máxima cota del Pirineo acabaría heredando el nombre de un pequeño pueblo de su costado oriental: Aneto.