théorème de Heine