Dans ce cours nous aborderons la logique combinatoire et leurs applications