Implementation of the Atkin-Goldwasser-Kilian primality testing algorithm, F. Morain, INRIA Research Report 911, october 1988. Résumé