Integrale de polytechnique