https://123dok.net/document/6zk88e8z-generation-tests-vulnerabilite-programmes-java-card-iteratifs.html