Um estudo da controlabilidade exata local a trajetórias das equações de Navier-Stokes