Sources for the Gassendi Time Line