A cette époque, en 1933, cette petite aiguille n'avait pas encore
de nom. Elle s'appelle aujourd'hui l'aiguille Jolly