Analyse des colimaçons :
   
   L'asymptotique de  :
   
   Preuve : on écrit
   
   où
   
   On remarque alors que le premier terme dans cette expression pour  s'annule
   à l'infini et satisfait à l'équation differentielle