DéfinitionsRépublique populaire démocratique de Corée