Répertoire de l'école impériale polytechnique : renseignements sur les élèves qui ont fait partie de l'institution depuis l'époque de sa création en 1794 jusqu'en 1853 inclusivement, avec plusieurs tableaux et résumés statistiques, suivi de la liste des élèves admis en 1854 et del'indication des mutations survenues dans l'intérieur de l'école jusqu' au 25 septembre 1855 / par C.-P. Marielle