\n".$options, "OPTIONS");
}
if (!isset($param["FOR"]) || $param["FOR"] != "html") {
$param = array();
$param["FOR"] = "html";
$param['HEIGHT'][0]['value'] = '150';
$param['WIDTH'][0]['value'] = '800';
$param['REPEATABLE'][0]['value'] = '';
$param['HTMLEDITOR'][0]['value'] = '';
}
//Formulaire
?>