Formes et dimensions des excavations minières souterraines