Michel Hanus a rédigé la thèse suivante :