En voici les dimensions: côté du nord, quatre mille cinq cents coudées; côté du midi, quatre mille cinq cents; côté de l'orient, quatre mille cinq cents; côté de l'occident, quatre mille cinq cents.