Text this: Un langage et un programme pour énoncer et résoudre des problèmes combinatoires /