anarkisthöfdingen Ravachols afrättning i måndags.