Authentic Korean food with generous portions of tender marinated pork and kimchi pancakes; air-conditioned respite when Paris gets unbearably hot.