Recherches sur les mathématiques de Leibniz : quoi de neuf ?