Comptes-rendus : Neuviéme Congrès International de Mécanique des Roches = Proceedings : Ninth International Congress on Rock Mechanics = Berichte : Neunter internationaler Kongress über Felsmechanik