Envoyer par SMS: Quantification in nonclassical logic /