De l'algèbre numérique à l'algèbre de la logique — Souleymane Bachir Diagne