Utilisation de l'algèbre de Boole en logique mathématique. - Mireille Dupraz (1966)