Action de groupe cocompacte