Mars était bien recouvert par un océan, il y a trois milliards d’années