https://123dok.net/document/myj7le5y-compilation-specifications-controle-embarque-proprietes-fonctionnelles-fonctionnelles-complexes.html