polynôme constructible