0)
{
for($i=$no_mot;$i<$VARglossaire['nbr_mot'];$i++)
{
//echo "VARglossaire_mot=".$i."-".$VARglossaire_mot[$i]."
";
print ("");
}
for($i=0;$i<$VARglossaire['nbr_mot'];$i++)
{
$recherche_mot="§§§".$i."§§§";
//echo "VARglossaire_annule=".$i."-".$VARglossaire['vide'][$i]."
";
if($VARglossaire['vide'][$i]==1)
{
$remplace_mot=$VARglossaire['mot'][$i];
}
//else $remplace_mot=addslashes("".$VARglossaire['mot'][$i]."");
else $remplace_mot=addslashes("".$VARglossaire['mot'][$i]."");
$texte=str_replace($recherche_mot,$remplace_mot,$texte);
//echo"VARglossaire texte=".$VARglossaire['texte']."
";
}
//$texte=addslashes($texte);
//echo"texte=".$texte."
";
}
include('glossaire_richbox_modif.php');
print ("");
mysql_free_result($mot_supp);
?>