cextras_divers
Cette PR vient en complément de https://git.spip.net/spip-contrib-extensions/champs_extras_core/pulls/12
elle permet d'utiliser choix_grille comme champ extra.
Pour ce faire elle implémente des fonctions spécifiques à cette saisie, dans champs_extras/
.