Title: Langages, Ensembles, Théories Axiomatiques.