Lucas, Hippolyte, 1807-1878