marina (n.f.)

1.ensemble touristique immobilier comprenant un port de plaisance.

2.(JO)Ensemble résidentiel construit en bord de mer, intégrant le plus souvent un port de plaisance aménagé.
(date de la publication : 16/12/1998 - éd. commission de la culture et de la communication)