49 Le porche faisait 20 coudées de long et 11* coudées de large. On y accédait par des marches. Il y avait des colonnes près des piliers latéraux, une de chaque côté+.
49 La longueur du porche était de vingt coudées, et la largeur de onze* coudées. C’est par des marches qu’on y montait*. Et il y avait des colonnes près des piliers latéraux, une ici et une là-bas+.