école des mines- établissement d'enseignement supérieur où les futurs mineurs et métallurgistes reçoivent une formation supérieure
Bildungseinrichtung (Hochschule), an der künftige Berg- und Hüttenleute eine höhere Bildung erhalten