théorème de Leibniz