Histoire et cinéma — Robert Mandrou