arithmétique binaire de Leibniz