Giguet(i) 11 Et l’homme mesura la largeur de la porte du porche, et elle était de dix coudées, et la largeur du porche, de treize coudées.