5Par exemple, dans les logiciels DESPOT [42], TRACY2 [11], SAD [85]