ROBERT BADINTER IS DEAD