Pierre Renouvin — French historian (1893-1974)