Théo Pierron: Induction Schemes : From Language Separation to Graph Colorings. (Schémas d'induction : from languages separation to graph colorings). University of Bordeaux, France 2019