Théorème de compacité de Riesz