en dödsdom , i synnerhet öfver Ravachol.