13 Il mesura la porte, depuis le toit d'une chambre jusqu'au toit de l'autre, ce qui donnait une largeur de vingt-cinq coudées entre les deux ouvertures opposées.