utilisation de manganèse dans l'industrie minière et de la construction