San Ravachol, dinamitero y mártir.