P. de Vanssay de Blavous, “Units of Length”, IHR, no. 1, Jun. 2018.