https://9dok.net/document/q054d25x-august-pascal-koiran-écolenormalesupérieuredelyon-universitédelyon-pascalkoiranlip-arithmeticcircuits-thechasmatdepthfourgetswider.html