https://123dok.net/document/z3dxxgn7-isabelle-sinic-bouhaouala-cite-version-hal-id-hal.html