https://123dok.net/document/z1d493md-un-exemple-d-utilisation-du-formalisme-symbolique.html