Les grottes des Échelles, massif de la Grande-Chartreuse (l'histoire et la légende) — Antoine Baton