17 juin 1939 : le jour où la guillotine fonctionne pour la dernière fois en public