Bureau hydrographique international. Supplément et errata au catalogue des cartes originales — Organisation hydrographique internationale. Bureau hydrographique international