théorème de boucherot démonstration