De l'Industrie métallurgique chez les anciens Romains, par M. J. Girardin, — Jean Girardin