Jezioro Saint Leonard, Lac souterrain de Saint-Léonard - Sion