Envoyer par SMS: Axioms for lattices and boolean algebras