Excellent, merci j'avais entendu parlé de la notion de certificat en commençant à étudier la preuve du théorème de Cook-Levin, mais beaucoup de textes ou vidéos supposent que cette notion est acquise / évidente et ne la définit pas précisemment.
Merci ! Les problème NP sont souvent définis comme cela, mais sans définition. Tant qu'on est dans le culturel ça va, mais pour une utilisation rigoureuse il faut des définitions précises.