+ // Certainement qu'il suffit de considérer les SemUnlock. ⋀ a priori,
+ // il doit même suffir de considérer le cas où leur capacity après execution est <=1
+ // ces cas disent qu'avant éxecution la capacity était de 0. Donc aucune chance de pouvoir
+ // wait avant le unlock.