Archéologie anté-historique. Découverte d'une station lacustre de l'âge de la pierre polie, dans le lac de Clairvaux, par M. Jules Le Mire, — Jules Le Mire