src: The test first uses probabilistic algorithms and if the probability of being prime is non-zero, the algorithms become deterministic (careful verification of potential divisors).
tgt: Le test utilise des algorithmes d'abord probabilistes puis si la probabilité d'être premier est non nulle, les algorithmes deviennent déterministes (vérification minutieuse des potentiels diviseurs).