Les Grottes de Pung, notes pour contribuer à l'étude de la géographie du Tonkin (région des Babé) ; communication adressée à la Société de géographie de Paris, le... 1re décembre 1893... par le Dr Pierre Mirande, — Pierre Mirande