var liste;
liste = '';

liste += '<option selected><font face="Arial, Helvetica, sans-serif" size="1" color="#000000">Mini &amp; Micro satellites</font></option>';
liste += '<option value="/MYRIADE/"><font face="Arial, Helvetica, sans-serif" size=1 color=black>Myriade</font></option>';
liste += '<option value="/PROTEUS/"><font face="Arial, Helvetica, sans-serif" size=1 color=black>Proteus</font></option>';

document.write(liste);