Appendix. Elements for a Formalisation of the Theory of Norms Developed in this Volume