Supplément à la notice historique sur l'Ecole Nationale supérieure des Mines — L. Aguillon