Sur l’algèbre de la logique