Robert Badinter au Panthéon : qui était le dernier condamné à mort, guillotiné en France ?