Le journaliste Philippe Tesson est mort