Jean Petit, joueur puis dirigeant historique de Monaco, est décédé