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