Source: https://chari.123.ma/doc_1/mahbab/1STE_1314/4_Logique_sequentielle.pdf