variétés compactes