Vocabulary concerning tides. Vocabulaire concernant les marées — Organisation hydrographique internationale. Bureau hydrographique international