Badinter est décédé.