Title: The metrology of the great pyramid