Représentation de la déduction par une logique trivalente — François Terrier