Ajouter un champ options

Ajouter un champ options dans paniers de manière à, par exemple, utiliser le plugin optionsproduits qui ajoute les id_option dans ce champ de la sorte "6|12|7"

ça peut permettre de faire <objet>-<id_objet>-<quantite>-<negatif>-<options> sans avoir à dupliquer function action_remplir_panier_dist($arg = null) {

Cela ne modifie en rien les comportements actuels de paniers.