les mines et les services portent leconomie nationale