SMS dit: L'algèbre de boole