Leroy, Louis, 1812-1885