text_processed: les européens doivent donc consacrer des recherches et des fonds importants à améliorer notre connaissance de la mer et si nous instituons après ceci la journée européenne de la mer nous aurons accompli une bonne chose