Primality testing algorithms, Séminaire Bourbaki 33 exp. no. 576