histoire des nombres premiers