Fluctuations of the Sea Level, Caused by Gravitational and Infra–Gravitational Sea Waves