Puis il mesura toute la largeur de la porte, du fond d’une loge au fond de l’autre : en passant par leurs portes qui se faisaient face, il trouva vingt-cinq coudées.