Notices sur les collections, cartes et dessins relatifs au service du Corps impérial des mines réunis par les soins du ministère de l'Agriculture, du Commerce et des Travaux publics