Jacques Barzun — French-American historian (1907–2012)