Combien de personnes faut-il pour fonder une colonie sur Mars ?