Encore faudrait-il montrer que choux et carottes peuvent se plonger dans un sur-ensemble minimal *unique à isomorphisme près* !!