El formalisme tètrade