Des astronomes ont découvert ce qui pourrait être une planète océan