L'an 3000 voir si P=NP ou pas stp chef