(Español) Un antiguo océano boreal en Marte puesto en evidencia por observaciones in situ de rocas sedimentarias marinas