Le journaliste Pierre Bénichou est mort