https://123dok.net/document/q7we3mrk-évaluation-fiabilité-systèmes-modélisés-arbres-défaillances-techniques-satisfiabilité.html