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