Techniques booléennes et calculateurs arithmétiques — Jean Chinal