Klassische Zwiebelsuppe, Gratiniert