Une guillotine de 1872 exposée en hommage à Badinter