<?php
$titulaire=array();
$Sel="";
foreach ($_POST['Stagiaire'] as $k => $val){
foreach ($List_stagiaire as $cle => $valeure ){
if($val==$cle) array_push($titulaire,$valeure);
}
}
while (list ($num, $nom) = each ($titulaire)) {
echo "<option $Sel value=$num>".$nom."</option><br>";
}
?>