quai et jetée d’un port donnant sur la mer