Ravachol afrättades tidigt imåndags