Formal and analytical integrability of the Bianchi IX system | Publicación