Jean Marin, ancien PDG de l'AFP, est décédé samedi