L'ordre fondamental, le théorème de la borne, le théorème de la relation d'équivalence finie Sébastien Ehrsam Groupe d'étude de théories stables