choix_grille

Cette PR permet d'utiliser la saisie choix_grille comme champ extra.

Elle permet également de crayonner un champ extra de saisie checkbox.

Elle corrige également quelques coquilles de PHPdoc.

Elle porte sur la v3, car c'est à partir de là que j'avais un besoin, mais devrait a priori être reportable sans autre sur master.