The lesson of Robert Badinter