Comité directeur mixte COI-OHI de la carte generale bathymetrique des océans : douzieme session, Boulder, Colorado, U.S.A. 16-17 mai 1989 (UNESCO, 1989)