Logique partielle et savoir — François Lepage, Serge Lapierre