#AccaddeOggi: 25 aprile 1792, la ghigliottina viene utilizzata per la prima volta