¿Cómo se llama la cafetería de un hospital?

La cafetería de un hospital suele denominarse "cafetería del hospital" o "comedor del hospital".