https://123dok.net/document/zpnwrwoy-strategies-dynamiques-pour-la-generation-de-contre-exemples.html