Envoyer par SMS: Constraint programming and maths programming