  We prove a conjecture of Colliot-Th\'el\`ene that implies the Ax-Kochen
Theorem on p-adic forms. We obtain it as an easy consequence of a diophantine
excision theorem whose proof forms the body of the present paper.
