Lines Matching defs:taille

629 function affiche_texte($texte, $taille)
650 function affiche_math($texte, $taille)
740 function dessine($taille)
855 function dessine($taille)
968 function dessine_expression($taille)
1019 function dessine_fraction($taille) 
1045 function dessine_exposant($taille) 
1085 function dessine_indice($taille) 
1125 function dessine_racine($taille) 
1153 function dessine_root($taille) 
1190 function dessine_grandoperateur($taille,$caractere) 
1231 function dessine_dessus($taille) 
1259 function dessine_dessous($taille) 
1287 function dessine_matrice($taille) 
1363 function dessine_tableau($taille) 
1441 function dessine_vecteur($taille) 
1469 function dessine_overline($taille) 
1492 function dessine_underline($taille) 
1515 function dessine_chapeau($taille) 
1543 function dessine_limite($taille) 
1576 function dessine_delimiteur($taille)