théorème de Bolker-Crapo