les installations minières de la carrière