Jean-Claude Marin, procureur général pres la Cour de cassation