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