Sur les “formules explicites” de la théorie des nombres premiers