Secteur minier : La main-d’œuvre de plus en plus diversifiée