Schrödinger-Poisson–Vlasov-Poisson correspondence