As correntes formalistas e antiformalistas do Direito: o caso do positivismo analítico normativista de Hans Kelsen