https://www.esacours.com/2020/05/logique-combinatoire-electromecanique.html