Lucas polynomials