Local exact controllability to the trajectories of the Navier-Stokes system with nonlinear Navier-slip boundary conditions | Publicación