Gassendi [noun] + pierre [noun]