L’homme mesura ensuite la porte, à l’entrée : elle avait dix coudées de large, et puis la longueur de la porte : treize coudées.