Problème de remplissage d'un select en php

Bonjour,
j'ai un problème avec le remplissage de mon select, voici mon script, pouvez vous m'aider
<form name="dispo_régle" >
<label> Procédure</label>
<select name="dispo_régle" id="pro" >
<?php
$sql="SELECT Libel_pro SFROM procedure";
$resultat = mysql_query($sql);
while ($donnees = mysql_fetch_array($resultat))
{
$pro = $donnees['Libel_pro'];
echo "<option value=\"$pro\">$pro</option>";
}
?>
</select>
</form>

merci de votre aide.