Logique - Sesmat, Augustin (Actualites scientifique et industrielles ;, 1950)