nb=mysql_num_rows($resultat);
//if ($resultat) 1ere methode ou
if ($nb>0)
echo "<h2 align='center'><font color=blue>Actuellement vous vous êtes absentéz pendant $nb jours(s) </font></h2>";
{ echo "<table align='center' border=1 width=100%>
<tr>
<th align='center'><font color=black> Carte scolaire</th><th align='center'><font color=black>Nom</font></th>
<th align='center'><font color=black> Prénom</th><th align='center'><font color=black>Filiére</font></th>
</tr>"; { ?>
<form name="form1" method="post" action="classetrait.php">
<? }
while($lignes=mysql_fetch_array($resultat,MYSQL_NUM)) // ou bien: while ($lignes=mysql_fetch_rows($resultat))
{
echo "<tr><td>$lignes[0]</td> <td>$lignes[1]</td> <td>$lignes[2]</td> <td>$lignes[3]</td> <td><input type='checkbox' name='checkbox' value='$lignes[0]'></td></tr>";
}

echo "</table>";