L’homme prit la dimension de l’ouverture du porche : il trouva dix mesures. La largeur totale du passage central était de treize mesures.