Progres dans la technologie des travaux en souterrain et dans l'utilisation du sous-sol (1980)