Badajoz polynomials Ban(p)(x)