[PDF] logique combinatoire_V_P - Lyon