Non-stable models of linear logic door Hoofman