Merci Tederic de cet envoi. En fait, je ne doutais pas un instant de l’origine de ce(s) nom(s). Je suis seulement troublé que l’on soit tout de même assez loin de la définition donnée par Larrousse ou le Robert pour lagune : Lagune n.f. = étendue d’eau marine retenue derrière un cordon (…)