https://123dok.net/document/zpn71nmr-s-emantique-des-langages-de-programmation-master.html