Mining - Vocabulary. Part 3: Rock mechanics (9th December 2021)