Un point sur la logique combinatoire.