tp de l'université de lille1 sur la classe np