La longueur du portique était de vingt coudées, et la largeur, de onze coudées, et cela aux degrés par lesquels on y montait; et il y avait des colonnes près des piliers, une deçà et une delà.