https://people.math.ethz.ch/~kowalski/fouvry-a2plusmb2.pdf

... classe dans H2 est triviale, ve´rifie (2) M [2(x) ∼ 1 h2 M [(x) par e´ quire´partition des classes d’ide ... ensemble de nombres premiers de densite´ ci = |H]i | 2|H| < 1 2 (d’apre`s l’e´ quire´partition des ide´aux ... classe dans H2 est triviale, ve´rifie (2) M [2(x) ∼ 1 h2 M [(x) par e´ quire´partition des classes d’ide ... ensemble de nombres premiers de densite´ ci = |H]i | 2|H| < 1 2 (d’apre`s l’e´ quire´partition des ide´aux ...