Denis Petri, gardien bien connu des pelouses de France, prend sa retraite