Complexité de la réduction en logique combinatoire.