Porte de tête définition

porte de tête

[nom] Dans une écluse maritime, porte située du côté de la mer.
Trouvé sur https://fr.wiktionary.org/wiki/porte_de_tête

---