Mesuré pour la première fois depuis 1955, ce sommet du Massif Central a grandi de 10 centimètres