Duvernoy, Jean-Baptiste (1802-1880)