TP sur la classe NP