Menu d'options

Je viens de décommenter les deux scripts "options ergonomiques" et "anti double-post"^. J'ai également supprimé le bout de code neutralisant que j'avais ajouté dans wikimini.php. Visiblement, tout roule ! Je vais encore essayer de tester le site sur différentes machines ces prochains jours et te tiens de toute façon au courant. Encore une fois, un tout grand merci pour ton aide !