Abrégé de la philosophie de Gassendi (Corpus des œuvres de philosophie en langue française)