La technique de la logique combinatoire