Idiss Badinter, Robert (1928-2024)