La République populaire démocratique de Corée - Charvin, Robert. (Comment ils sont gouvernés, 1984)