Identifiant de HAL.