Cours de calcul booléien appliqué — Maurice Denis-Papin, Arnold Kaufmann, Robert Faure