On the defining polynomials of maximal real cyclotomic extensions | Publicación