Logique combinatoire et numération