L’école des Mines de Saint-Etienne associée à la création de l’Institut Mines Télécom