In memory of Jacques Ehrmann :inside play outside game.