247
modifications
Modifications
var addEvent = addHandler;
/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */
/* Détermination du type d'utilisateur */
var addEvent = addHandler;
function usertype(user){