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