https://123dok.net/document/y6e42dgo-comparateur-bit-bits-td-circuits-combinatoires.html