de l'algèbre de boole aux circuits numériques