[Observe-commits] 01/05: refs #6933 ajout de getOcean sur le contrat de Trip