https://123dok.net/document/z31g40dy-méthode-sélection-tests-partir-spécifications-algébriques.html