https://123dok.net/document/zkw6o91e-approches-fonctionnelles-programmation-parallèle-ordinateurs-sémantiques-implantations-certification.html