https://123dok.net/document/qvl7pg2d-hal-id-inria.html