adjonction de points à l’infini