théorème de Sen