Jean-Marc Bloch, ancien patron de la BRI