Indice du ME : la nature du ME est dtermine comme assertion de val. pos. du dest. par une condition de succs rtrospective implicite de val. pos.