Et la largeur de la porte était de dix coudées; et les côtés de la porte étaient cinq coudées d'un côté, et de cinq coudées de l'autre côté; et il mesura sa longueur, quarante coudées; et la largeur, vingt coudées.