Primality testing algorithms [after Adleman, Rumely and Williams]