C'est fait, Robert Badinter arrête sa carrière politique et n'est plus sénateur.