Logique Propositionnelle Incomplète. Il reste des trucs à compléter.