PROPOSITIONS DE NS