Envoyer par SMS: Cutting planes in combinatorics