Before revision: The term was coined by Émile Rivière in 1890.
After revision: speleologyThe term was coined by Émile Rivière in 1890.