Mort de Jacques Revel, ancien président de l’Ecole des hautes études en sciences sociales et figure majeure de l’historiographie française