https://123dok.net/document/zgw2np57-synthèse-d-compteur-synchrone-bits-code-gray.html