La première atmosphère riche en hydrogène de Mars est déduite de la boue à sa surface