Bounds on an exponential sum arising in Boolean circuit complexity

On étudie les sommes exponentielles de la forme S=2−n∑x∈{0,1}nem(h(x))eq(p(x)), où m,q sont des entiers premiers entre eux, p est un polynôme à coefficients dans Zq et h(x)=a(x1+⋯+xn), avec 1⩽a