Se guillotinó a Ravachol...