Publications with doi and publications on HAL (with or without doi)