Pierre Batina a rédigé la thèse suivante :