Fonctions logiques et arithmétique binaire — Michel Aumiaux