REPERTOIRE DES ETABLISSEMENTS MINIERS.
Other titles: DIRECTORY OF MINING ESTABLISHMENTS.