Mars abritait autrefois une lune bien plus massive