Et il mesura le portique du toit d'une loge jusqu'au toit de l'autre: vingt-cinq coudées en largeur, d'une porte jusqu'à l'autre porte.