https://123dok.net/document/zkw6dop4-expected-topology-of-random-real-algebraic-submanifolds.html