skarprättare , som skall afrätta Ravachol.