Olivier Bosc a rédigé la thèse suivante :