Les moules gratinées comme chez Tante Jacqueline, petits légumes