Les Grottes de Pung, notes pour contribuer à l'étude de la géographie du Tonkin (région des Ba-bé). Communication adressée à la Société de géographie de Paris, le... 1er décembre 1893 — Pierre Mirande