Spectral analysis of a block-triangular preconditioner for the