Envoyer par SMS: Journal of Logic and Algebraic Programming