  We introduce the notion of corestricted free products of a family of
profinite groups indexed over an arbitrary profinite space. Using arithmetic
results of the second author, this enables us to prove an analogue of Riemann's
existence theorem for the decomposition groups of certain infinite sets of
primes of a number field.
