Traditional gratinated onion soup