Notions de base de la logique combinatoire