!!! fichier de prsentation de l'tape 2 !!!
<p>
  <b><font color=darkcyan> Etape $etape </font></b>
 </p>
<center>
<table width="75%">
  <tr>
    <td>
      <p>
      Dans cette tape, vous devez fournir la liste des proprits ventuelles vrifies par
      les objets prcdemment saisis. Ces proprits (ou ventuellement d'autres objets en 
      relation avec ceux saisis  l'tape 1) doivent &ecirc;tre explicitement 
      dcrites (par exemple pour une fonction: <b>croissante</b>, <b>dcroissante</b>, 
      <b>borne</b>, ...), sans ambiguit.
      </p>
     <p>
     Entrez ci-dessous la liste des proprits. Chaque proprit doit &ecirc;tre 
     l'intrieur d'une paire de parenthses 
     <font color="red"><b>(</b></font>une <b>ouvrante</b> et une <b>fermante</b>
     <font color="red"><b>)</b></font>. 
     Dans la liste, deux objets conscutifs sont spars par une virgule. 
     <b>Le nombre de proprits (ou objets ) est limit  100</b>.
      </p>
     <p align="center">
     Le format de saisie des objets est donc le suivant:
     <br>
     \((propri\'et\'e_{1}),(propri\'et\'e_{2}), \ldots ,(propri\'et\'e_{m})\)
      </p>
     
     !if $demo=oui
       <p>
       <hr>
       !read demosDir/demo$(exo)props
        </p>
     !endif
   </td>
  </tr>
</table>
</center>

!set wims_backslash_insmath=no

<center>
 <textarea name="propsList" rows=20 cols=50>$propsList</textarea>
</center>

!read comsDir/valideb



