subtype est une fonction qui a un argument et qui renvoie :
1 si cet argument est une séquence, et 0 sinon.
2 si cet argument est un ensemble,
10 si cet argument estun polynôme et
0 sinon.
On tape :
On obtient :
On tape :
On obtient :
On tape :
On obtient :
On tape :
On obtient :
On tape :
On obtient :