le recours à auteur_session est obsolete

cf "Supprimer la globale dépréciée `auteur_session`" spip/spip#5199 (closed)

Or auteur_session figure en plusieurs endroits dans ce plugin :

• https://git.spip.net/spip-contrib-extensions/crayons/-/blob/master/action/crayons_store.php?ref_type=heads#L613 et L614
• https://git.spip.net/spip-contrib-extensions/crayons/-/blob/master/crayons_options.php#L33 et https://git.spip.net/spip-contrib-extensions/crayons/-/blob/master/crayons_options.php#L181 et L183