Spontaneous breaking of the BRST symmetry in the presence of the Gribov horizon: Renormalizability

An all orders algebraic proof of the multiplicative renormalizability of the novel formulation of the Gribov-Zwanziger action proposed in Dudal (2012) [39], and allowing for an exact but spontaneously broken BRST symmetry, is provided.