On the maximal unramified pro-2-extension of ${\mathbb{Z}}_2$-extension of certain real biquadratic fields

For any positive integer $n$, we show that there exists a real number field $k$ (resp. $k^{\mathrm{\prime }}$) of degree $2^n$ whose $2$-class group is isomorphic $\mathbb{Z}\mathrm{/}2\mathbb{Z}\times \mathbb{Z}\mathrm{/}2\mathbb{Z}$ such that the Galois group of the maximal unramified extension of $k$ (resp. $k^{\mathrm{\prime }}$) over $k$ (resp. $k^{\mathrm{\prime }}$) is abelian (resp. non abelian, more precisely isomorphic to $Q_8$ or $D_8$, the quaternion and the dihedral group of order $8$ respectively). In fact, we construct the first examples in literature of families of real biquadratic fields whose unramified abelian Iwasawa module is isomorphic to $\mathbb{Z}\mathrm{/}2\mathbb{Z}\times \mathbb{Z}\mathrm{/}2\mathbb{Z}$, and so that satisfying the Greenberg conjecture.