Marc Bloch buried in the Pantheon: Four little-known stories about the resistance fighter and historian