Envoyer par SMS: Constructive order types/