9 Colloque sur l'exploitation des océans — Colloque sur l'exploitation des océans (09 ; 1980 ; Paris)