Etudiant en master d'informatique théorique.