ajouter_tête (l:Liste|Vecteur,x)

ajouter_tête({[ [l₁,...,l_n ]]},x)={[ [x,l₁,...,l_n ]]}ajouter_tête([ [l₁,...,l_n ]],x)=[ [x,l₁,...,l_n ]]étant 1<=i<=longueur(l)+1

ajouter_tête (p:Polygonale|Polygone,A:Point )