Une guillotine de 1872 exposée au Mucem pour rendre hommage au combat de Robert Badinter