Unable to answer "Is this still here?" – La Marina (Locality) – https://osm.org/node/658222823 via StreetComplete_ee 57.0:

La résidence s'appelle les marines et la marina est plus à l'est, ou il y a tous les commerces

Attached photo(s):
https://westnordost.de/p/206879.jpg