Les choux de Bruxelles sont cuits