Mars aurait abrité un océan gigantesque : voici les traces qu'il aurait laissées