Title: De l'algèbre numérique à l'algèbre de la logique