Mars aurait abrité un océan géant : une nouvelle étude apporte des indices difficile à contester