Une proclamation de la fin de la guerre de Corée, mais pour quoi faire ?