Comité du tricentenaire de Gassendi.