L' exécution Badinter, Robert (1928-)