les machines minières souterraines pour l'exploitation minière et