soupe aux choux gratinée