getServOpt - Que spécifie le paramètre JREOPTIONS ?