Envoyer par SMS: <An> existence theorem for a bargaining set.