Panthéonisation de Robert Badinter, l'occasion de saluer aussi la loi Badinter de 1985