Bad witnesses for a composite number

We describe the average sizes of the set of bad witnesses for a pseudo-primality test which is the product of a multiple-rounds Miller–Rabin test by a Galois test.