https://123dok.net/document/q2n0wp6j-conception-interactive-ontologies-par-élimination-de-mondes-possibles.html