« Gassendi s’en est allé, il a vécu 65 ans et a cessé de vivre hier [le dimanche 24 octobre] vers trois heures après midi. Je reconnais que la mort d’un si grand homme inflige un grave coup à la république des lettres : les arts mathématiques le pleureront, la philosophie, qui est plus pure et plus sacrée, le pleurera. »