Envoyer par SMS: Classical mathematical logic :