théorème de Pohlke