La NASA prévoit de réparer la fuite de l'engin spatial Mars et de le lancer en 2018