Publications possédant un identifiant DOI (Digital object identifier) et publications présentes dans HAL (avec ou sans DOI)