Traditionnel gratinated onion soup