C17th French Mathematics, IHP