subtype est une fonction qui a un argument et qui renvoie 1 si cet argument est une séquence et 0 sinon. On tape :
On obtient :
On tape :