Dans la théorie de calcul de Michael Sipser à la page 270, il écrit: P = la classe de langues dont l'adhésion peut être décidée rapidement. NP = la classe de langues dont l'appartenance peut être vérifiée rapidement. Quelle est la différence entre «décidé» et