Utilisation de l'algèbre de Boole en logique mathématique — Mireille Dupraz