Étiquette théorème de boucherot démonstration