L'hémisphère nord de Mars était bien recouvert d'un océan il y a 3,5 milliards d'années