och som hette Ravachol , greps af den spanska polisen , utlämnades tili denfranska