Combien faut-il d'humains pour commencer une nouvelle civilisation sur Mars ?