fin de l'introduction du doc