théorème de Schäfer