Publié dans le LIVRE DU CENTENAIRE (Ecole Polytechnique), 1897, Gauthier-Villars et fils, TOME III, page 165
LEFROY, né en 1771, mort Inspecteur général en retraite le 3 février 1842, appartenait à cette promotion de l'École des Mines de 1794-1795, qui n'a pas passé par l'École Polytechnique (alors même que Polytechnique fonctionnait déja). Sa vie se lie intimement à celle de l'École des Mines depuis son installation à Moutiers. Il fut chargé de cette installation comme de celles de 1814 et de 1816 à Paris; il fut Inspecteur de l'École à Paris, de 1816 à 1836, c'est-à-dire le bras exécutif du Conseil chargé de l'administrer.
Publié dans Notice historique sur l'Ecole des Mines de Paris, Louis Aguillon, 1889 :
Lefroy (né en 1771 , mort inspecteur général des mines, en retraite, le 3 février 1842), a son nom intimement lié à l'histoire de l'École des mines. Lorsqu'il était encore élève surnuméraire à l'Ecole des mines, il était déja chargé d'un cours particulier de géométrie descriptive pour les élèves.
Nous le verrons présidant à l'installation de l'École des mines de Moutiers en 1803 (Lefroy est resté à Moutiers comme inspecteur sous-directeur, de mai 1803 à octobre 1804), la transportant successivement, de 1814 à 1816, de la rue de l'Université au Petit-Luxembourg et à l'hôtel Vendôme. Là, il fut inspecteur sous l'autorité immédiate du conseil de l'École, depuis la réinstallation en 1816 jusqu'en 1836, date à laquelle, nommé inspecteur général des mines, il céda son poste à Dufrénoy qui lui avait été adjoint depuis 1834. Lefroy resta membre du conseil de l'École, et il continua à suivre spécialement, au nom du conseil, l'achat de l'hôtel Vendôme, qui ne fut réalisé qu'en 1837 ; il présida aux premières appropriations nouvelles qui furent la conséquence immédiate de cet achat.