Logique - Sesmat, Augustin (Hermann, 1950)