MoteurJeuContract quasi termine (une seule postcondition restante)