Implémentation de la convention NegaMax, du fail-soft et du PVS