Grouper le contenu d'un menu déroulant
	
	
		Bonjour à tous,
Je récupère des données, d'une base mysql, que j'affiche dans un menu déroulant mais je souhaiterais que les valeurs identiques ne s'affiche qu'une fois... :aie: 
	Code:
	
| 12
 3
 4
 5
 6
 7
 8
 9
 
 | <select name=theme>
            <?
$SQL = "SELECT * FROM themes ORDER BY nom_theme";
$res = mysql_query($SQL);
while($val=mysql_fetch_array($res)) {
   echo "<option>".$val["nom_theme"]."</option>\n";
}
?>
          </select> | 
 Ce doit être un petit problème, mais je ne trouve pas la solution sur le net...