Le Traité des édifices de Procope a été composé en 554 ap. J.-C. L'A. montre que cette oeuvre peut être lue comme un jugement sur l'empereur Justinien dont Procope met en avant l'arrogance. Il établit un rapport entre l'empereur et Dieu : c'est dans la conquête de la nature que se combinent la providence divine et la perception impériale. L'oeuvre combine ainsi deux niveaux de langage : un qui est mystérieux tandis que l'autre est arrogant.