Borel, Pierre Joseph Borel d'Hauterive see
Borel, Petrus, 1809-1859.