SMKD #7 Axiomatique de Greg Egan