Banach spaces, test functions, distributions, Navier-Stokes equation