Deimos ou Phobos ? La réponse n’est pas la même selon que la contrainte dominante est le temps ou l’ergol — et elle conduit non pas à choisir une lune contre l’autre, mais à leur attribuer des rôles complémentaires, avec une redondance mutuelle qui est en elle-même un argument décisif.