Salé toujours le choux rouge en fin de cuisson car le sel durcit le choux et augmente le temps de cuisson