Théorème de Vaught