den segrande , ) ; spansk martyr.