ergodicity, stationary measure, Navier--Stokes system