https://123dok.net/document/zlg1nedr-th-eorie-pratique-concurrence-master-informatique-td-ltl.html