The Café Restaurant de la Mine: its rooms, terrace, bar, and dishes.