Source: https://openspacecourse.com/wp-content/uploads/2019/11/Exercices-logique-séquentielle-corrigés.pdf