Jaulent's weak cyclotomic conjecture for CM fields

Let $K$ be a CM field, that is, a totally imaginary quadratic extension of a totally real subfield $K^+$. For a prime number $\ell$, let

$$Pl_K^\ell=S_K\sqcup T_K$$

be a partition of the places of $K$ above $\ell$, and call it stable under complex conjugation when both subsets are stable under that involution. Weak cyclotomic conjecture. The field $K$ satisfies the cyclotomic conjecture for every partition $Pl_K^\ell=S_K\sqcup T_K$ stable under complex conjugation. This is the restricted form introduced to remove the ambiguity concerning stability under complex conjugation in the strong cyclotomic conjecture. In the CM case, the paper states that the weak and strong forms are equivalent to the conjunction of Leopoldt's and Gross–Kuz'min's conjectures; the supplied excerpt does not otherwise establish a resolution.