On n'avait jamais vu un indice aussi solide : Mars aurait connu un immense océan durable