Exploration robotique de Mars : définitions