Mention the papers in the doc
Created originally on Bitbucket by paugier (Pierre Augier)
Was already merged in Bitbucket before import, marked as merged by the import user
Created originally on Bitbucket by paugier (Pierre Augier)
Was already merged in Bitbucket before import, marked as merged by the import user