var liste;
liste = '';

liste += '<option selected><font face="Arial, Helvetica, sans-serif" size="1" color="#000000">Student projects</font></option>';
liste += '<option value="/MSL/Fr/A_proj_etud.htm"><font face="Arial, Helvetica, sans-serif" size=1 color=black>MSL Rover Mockup</font></option>';
liste += '<option value="/ROBUSTA/Fr/"><font face="Arial, Helvetica, sans-serif" size=1 color=black>Robusta Picosatellite</font></option>';

document.write(liste);