Marc Bloch buried in the Pantheon: resistance fighter and historian