Giguet(i) 9 Et l’épaisseur du mur extérieur de cinq coudées, et le surplus de l’espace compris entre les côtés