caractéristique universelle de Leibniz