Correction d'un problème dans options.js
quelques modifs