La Grotte d'Hautecour dans le Revermont (Ain). — Aimé Vingtrinier