Publications by authors named "Denis Vallee"