Source: https://www.a-smt.org/2013/tracabilite-independance.pdf