Sea waves on a rocky shore