Compact affine manifolds with precompact holonomy are geodesically complete | Publicación