Roberval, Gilles Personne de, professeur de mathématiques au Collège de France