Pierre Chevallier — French historian (1913–1998)