logique combinatoire exercices