Note sur les laboratoires de l'École impériale des mines de Paris. — Louis-Édouard Rivot