Théorie générale de l'instance : Le formalisme de l'instance