San Manuel Bueno, Martir = Saint Manuel Bueno, Martyr door Miguel de Unamundo, Paulino Garagorri & Miguel De Unamuno