Algèbre de Boole - Kuntzmann, J (Bibliothèque de l'Automaticien, 10, 1968)