Echec(S)
Echec(S)

(Echec(S))