_ id_auteur : #_SESSION{id_auteur}

_ id_auteur non : #_SESSION{id_auteur,non}
_ id_auteur ! : #_SESSION{id_auteur,!}
_ vide : #_SESSION{vide}
_ vide non : #_SESSION{vide,!}
avant
#_SESSION_SI{id_auteur,!} pas dauteur #_SESSION_SINON ya un auteur #_SESSION_FIN apr├ęs