Plasma and waves around Mars