notation de Leibniz