D'où vient la forme du chou-romanesco ?