Probabilistic aspects of ocean waves