industries minière et manufacturière