Journée mondiale de l'océan : au Kenya, une ONG replante des coraux