Vérification du verrouillage manuel

Pour les exécutions EA et EB :

Pour les exécutions CA et CB :