Publications by authors named "Denis Mariat"