https://123dok.net/document/q7wo2eon-certification-formelle-réseaux-neuronaux-profonds-état-l-art.html