La littérature scientifique internationale montre la réalité des apprentissages informels des enseignants sur leur lieu de travail, au sein des établissements scolaires. Toutefois ces apprentissages présentent plusieurs limites et sont qualitativement de moins bonne qualité que les apprentissages réalisés en environnement organisé. La présente recherche a précisément pour objet le développement professionnel des enseignants expérimentés à travers un dispositif de formation continue prenant en compte leurs apprentissages informels. Cette étude s’inscrit dans un programme de recherche anthropoculturel (Bertone, 2011 ; Chaliès, 2012) dont les principaux présupposés théoriques sont empruntés à la philosophie du langage ordinaire (Wittgenstein, 2004). Elle a été menée dans le cadre de deux dispositifs innovants de formation permettant à un enseignant expérimenté (le pair formateur) d’enseigner ostensivement l’une de ses pratiques spécifiques jugées efficaces à un pair enseignant expérimenté (le pair formé). Les principaux résultats de la recherche montrent la modélisation de l’activité professionnelle des pairs formateurs et contribuent ainsi à documenter la recherche internationale sur les apprentissages informels des enseignants du primaire. Ils montrent également l’apprentissage de nouvelles pratiques professionnelles de la part des pairs formés entendu comme l’acquisition de nouveaux systèmes de règles. Les résultats montrent enfin le développement professionnel des pairs formés entendu comme l’interprétation des règles apprises dans des circonstances nouvelles ainsi que le développement réflexif de l’activité professionnelle des pairs formateurs. / The international scientific literature shows the reality of teachers' informal learning in the workplace, within schools. However, these learnings have several limitations and are of lower quality than those that are carried out in an organized environment. The purpose of this research is precisely the professional development of experienced teachers through a professional development program that considers their informal learning.This study is part of an anthropocultural research program (Bertone, 2011; Chaliès, 2012) whose main theoretical assumptions are borrowed from the philosophy of ordinary language (Wittgenstein, 2004). It was conducted within the framework of two innovative training devices allowing an experienced teacher (the peer trainer) to ostensibly teach one of his specific practices considered effective to an experienced peer teacher (the trained peer). The main research results show the modelling of the professional activity of peer trainers and thus contribute to documenting international research on informal learning by primary school teachers. They also show the learning of new professional practices from trained peers understood as the acquisition of new rule systems. Finally, the results show the professional development of the trained peers understood as the interpretation of the rules learned in new circumstances as well as the reflexive development of the professional activity of the trained peers.

Le but de notre étude était d'identifier des structures « analogues au mythe » dans des textes en prose du préromantisme allemand. La théorie sur laquelle nous nous appuyons est la théorie du « mythe formel » selon Clemens Lugowski. Notre hypothèse était qu'il y avait très souvent, dans les romans et contes du préromantisme allemand, des structures et qualités « mythiques » (au sens de mythe formel) qui sont liées de façon équivoque à des structures narratives modernes. Ces structures mythiques et prémodernes se manifestent particulièrement dans la motivation de l'action et dans l‘accumulation des motifs fatidiques et généalogiques. Notre étude a été réalisée en trois étapes. Dans un premier temps, nous avons analysé, discuté et adapté les théories de la motivation narrative et du mythe formel. Puis, nous avons élargi le sujet d’un point de vue de l’histoire culturelle, en expliquant le rôle du mythe, de la mythologie et du concept romantique de la « nouvelle mythologie » ainsi que l’idée de généalogie à la fin du 18ème siècle en Allemagne. Nous avons conclu la partie historico-culturelle par un chapitre sur la situation des éditions, des auteurs et de la littérature populaire vers 1800. Ensuite, nous avons concentré les analyses des textes sur des structures mythiques qui apparaissaient dans les motifs, dans la forme et dans les péritextes des contes et romans du préromantisme allemand. Notre corpus de textes se composa de romans et contes de Ludwig Tieck, Friedrich Schiller, Johann Wolfgang Goethe, Clemens Brentano, Dorothea Veit et Novalis. / The aim of our study was to identify "myth-like" structures in prose texts of German early Romanticism. The theory on which we rely is the theory of the "formal myth" according to Clemens Lugowski. Our hypothesis was that in the novels and tales of German early Romanticism there were very often "mythical" structures and qualities (in the sense of a formal myth) that are linked equivocally to modern narrative structures. These mythical and premodern structures are particularly evident in the motivation of action and in the accumulation of fateful and genealogical motives. Our study was carried out in three steps. In a first step, we analyzed, discussed and adapted the theories of narrative motivation and formal myth. Then we broadened the subject from a historico-cultural perspective, explaining the contemporary role of myth, mythology and the romantic concept of the "new mythology" as well as the idea of genealogy at the end of the 18th century in Germany. We concluded the historico-cultural part with a chapter about the situation of editions, authors and popular literature around 1800. We then concentrated the analyzes of the texts on mythical structures that appeared in the motifs, in the form and in the peritexts of the tales and novels of German early Romanticism. Our corpus of texts consisted of tales and novels by Ludwig Tieck, Friedrich Schiller, Johann Wolfgang Goethe, Clemens Brentano, Dorothea Veit and Novalis.

La première partie concerne un problème de théorie des nombres, pour laquel nous développons une approche géométrique basé sur des outils provenant de la géométrie algébrique et de la géométrique combinatoire. Introduites par M. Kontsevich et D. Zagier en 2001, les périodes sont des nombres complexes obtenus comme valeurs des intégrales d'une forme particulier, où le domaine et l'intégrande s'expriment par des polynômes avec coefficients rationnels. La conjecture de périodes de Kontsevich-Zagier affirme que n'importe quelle relation polynomiale entre périodes peut s'obtenir par des relations linéaires entre différentes représentations intégrales, exprimées par des règles classiques du calcul intégrale. En utilisant des résolutions de singularités, on introduit une réduction semi-canonique de périodes en se concentrant sur le fait d'obtenir une méthode algorithmique et constructive respectant les règles classiques de transformation intégrale: nous prouvons que n'importe quelle période non nulle, représentée par une certaine intégrale, peut être exprimée sauf signe comme le volume d'un ensemble semi-algébrique compact. La réduction semi-canonique permet une reformulation de la conjecture de périodes de Kontsevich-Zagier en termes de changement de variables préservant le volume entre ensembles semi-algébriques compacts. Via des triangulations et méthodes de la géométrie-PL, nous étudions les obstructions de cette approche comme la généralisation du 3ème Problème de Hilbert. Nous complétons les travaux de J. Wan dans le développement d'une théorie du degré pour les périodes, basée sur la dimension minimale de l'espace ambiance nécessaire pour obtenir une telle réduction compacte, en donnant une première notion géométrique sur la transcendance de périodes. Nous étendons cet étude en introduisant des notions de complexité géométrique et arithmétique pour le périodes basées sur la complexité polynomiale minimale parmi les réductions semi-canoniques d'une période. La seconde partie s'occupe de la compréhension d'objets provenant de la géométrie algébrique avec une forte connexion avec la géométrique combinatoire, pour lesquels nous avons développé une approche dynamique. Les champs de vecteurs logarithmiques sont un outils algébro-analytique utilisés dans l'étude des sous-variétés et des germes dans des variétés analytiques. Nous nous sommes concentré sur le cas des arrangements de droites dans des espaces affines ou projectifs. On s'est plus particulièrement intéressé à comprendre comment la combinatoire d'un arrangement détermine les relations entre les champs de vecteurs logarithmiques associés: ce problème est connu sous le nom de conjecture de Terao. Nous étudions le module des champs de vecteurs logarithmiques d'un arrangement de droites affin en utilisant la filtration induite par le degré des composantes polynomiales. Nous déterminons qu'il n'existent que deux types de champs de vecteurs polynomiaux qui fixent une infinité de droites. Ensuite, nous décrivons l'influence de la combinatoire de l'arrangement de droites sur le degré minimal attendu pour ce type de champs de vecteurs. Nous prouvons que la combinatoire ne détermine pas le degré minimal des champs de vecteurs logarithmiques d'un arrangement de droites affin, en présentant deux pairs de contre-exemples, chaque qu'un d'eux correspondant à une notion différente de combinatoire. Nous déterminons que la dimension des espaces de filtration suit une croissance quadratique à partir d'un certain degré, en dépendant uniquement de la combinatoire de l'arrangement. A fin d'étudier de façon calculatoire une telle filtration, nous développons une librairie de fonctions sur le software de calcul formel Sage. / The first part concerns a problem of number theory, for which we develop a geometrical approach based on tools coming from algebraic geometry and combinatorial geometry. Introduced by M. Kontsevich and D. Zagier in 2001, periods are complex numbers expressed as values of integrals of a special form, where both the domain and the integrand are expressed using polynomials with rational coefficients. The Kontsevich-Zagier period conjecture affirms that any polynomial relation between periods can be obtained by linear relations between their integral representations, expressed by classical rules of integral calculus. Using resolution of singularities, we introduce a semi-canonical reduction for periods focusing on give constructible and algorithmic methods respecting the classical rules of integral transformations: we prove that any non-zero real period, represented by an integral, can be expressed up to sign as the volume of a compact semi-algebraic set. The semi-canonical reduction permit a reformulation of the Kontsevich-Zagier conjecture in terms of volume-preserving change of variables between compact semi-algebraic sets. Via triangulations and methods of PL–geometry, we study the obstructions of this approach as a generalization of the Third Hilbert Problem. We complete the works of J. Wan to develop a degree theory for periods based on the minimality of the ambient space needed to obtain such a compact reduction, this gives a first geometric notion of transcendence of periods. We extend this study introducing notions of geometric and arithmetic complexities for periods based in the minimal polynomial complexity among the semi-canonical reductions of a period. The second part deals with the understanding of particular objects coming from algebraic geometry with a strong background in combinatorial geometry, for which we develop a dynamical approach. The logarithmic vector fields are an algebraic-analytic tool used to study sub-varieties and germs of analytic manifolds. We are concerned with the case of line arrangements in the affine or projective space. One is interested to study how the combinatorial data of the arrangement determines relations between its associated logarithmic vector fields: this problem is known as the Terao conjecture. We study the module of logarithmic vector fields of an affine line arrangement by the filtration induced by the degree of the polynomial components. We determine that there exist only two types of non-trivial polynomial vector fields fixing an infinitely many lines. Then, we describe the influence of the combinatorics of the arrangement on the expected minimal degree for these kind of vector fields. We prove that the combinatorics do not determine the minimal degree of the logarithmic vector fields of an affine line arrangement, giving two pair of counter-examples, each pair corresponding to a different notion of combinatorics. We determine that the dimension of the filtered spaces follows a quadratic growth from a certain degree, depending only on the combinatorics of the arrangements. We illustrate these formula by computations over some examples. In order to study computationally these filtration, we develop a library of functions in the mathematical software Sage.

La majorité des courbes et surfaces rencontrées dans la modélisation géométrique sont définies comme l'ensemble des solutions d'un système d'équations et d'inéquations algébriques (ensemble semi-algébrique). De nombreux problèmes dans différentes disciplines scientifiques font appel à des requètes de proximité telles que la recherche du ou des voisins les plus proches ou la quantification du voisinage de deux objets.<br /><br />Le diagramme de Voronoï d'un ensemble d'objets est une décomposition de l'espace en zones de proximité. La zone de proximité d'un objet est l'ensemble des points plus proches de cet objet que de tout autre objet. Les diagrammes de Voronoï permettent de répondre aux requètes de proximité après avoir identifié la zone de proximité à laquelle le point objet de la requète appartient. Le graphe dual du diagramme de Voronoï est appelé le graphe de Delaunay. Seules les approximations par des coniques peuvent garantir un ordre de continuité approprié au niveau des points de contact, ce qui est nécessaire pour garantir l'exactitude du graphe de Delaunay.<br /><br />L'objectif théorique de cette thèse est la mise en évidence des propriétés algébriques et géométriques élémentaires de la courbe déplacée d'une courbe algébrique et de réduire le calcul semi-algébrique du graphe de Delaunay à des calculs de valeurs propres. L'objectif pratique de cette thèse est le calcul certifié du graphe de Delaunay pour des ensembles semi-algébriques de faible degré dans le plan euclidien.<br /><br />La méthodologie associe l'analyse par intervalles et la géométrie algébrique algorithmique. L'idée centrale de cette thèse est qu'un pré-traitement symbolique unique peut accélérer l'évaluation numérique certifiée du détecteur de conflits dans le graphe de Delaunay. Le pré-traitement symbolique est le calcul de l'équation implicite de la courbe déplacée généralisée d'une conique. La réduction du problème semi-algébrique de la détection de conflits dans le graphe de Delaunay à un problème d'algèbre linéaire a été possible grâce à la considération du sommet de Voronoï généralisé (un concept introduit dans cette thèse).<br /><br />Le calcul numérique certifié du graphe de Delaunay a été éffectué avec une librairie de résolution de systèmes zéro-dimensionnels d'équations et d'inéquations algébriques basée sur l'analyse d'intervalles (ALIAS). Le calcul certifié du graphe de Delaunay repose sur des théorèmes sur l'unicité de racines dans des intervalles donnés (Kantorovitch et Moore-Krawczyk). Pour les coniques, les calculs sont accélérés lorsque l'on ne considère que les équations implicites des courbes déplacées.

Les fonctions D-finies (ou holonomes) à une variable sont les solutions d'équations différentielles linéaires à coefficients polynomiaux. En calcul formel, il s'est avéré fructueux depuis une vingtaine d'années d'en développer un traitement algorithmique unifié. Cette thèse s'inscrit dans cette optique, et s'intéresse à l'évaluation numérique des fonctions D-finies ainsi qu'à quelques problèmes apparentés. Elle explore trois grandes directions. La première concerne la majoration des coefficients des développements en série de fonctions D-finies. On aboutit à un algorithme de calcul automatique de majorants accompagné d'un résultat de finesse des bornes obtenues. Une seconde direction est la mise en pratique de l'algorithme " bit burst " de Chudnovsky et Chudnovsky pour le prolongement analytique numérique à précision arbitraire des fonctions D-finies. Son implémentation est l'occasion de diverses améliorations techniques. Ici comme pour le calcul de bornes, on s'attache par ailleurs à couvrir le cas des points singuliers réguliers des équations différentielles. Enfin, la dernière partie de la thèse développe une méthode pour calculer une approximation polynomiale de degré imposé d'une fonction D-finie sur un intervalle, via l'étude des développements en série de Tchebycheff de ces fonctions. Toutes les questions sont abordées avec un triple objectif de rigueur (résultats numériques garantis), de généralité (traiter toute la classe des fonctions D-finies) et d'efficacité. Pratiquement tous les algorithmes étudiés s'accompagnent d'implémentations disponibles publiquement.

Le sujet de cette thèse est la conception et l'implantation d'algorithmes efficaces pour des opérations de base en calcul formel, ainsi que leurs applications à des domaines connexes, comme la théorie algorithmique des nombres et la cryptographie. Une première partie traite de l'algorithmique de base sur les polynômes à une variable. L'outil systématiquement mis en oeuvre est une version constructive du principe de transposition de Tellegen, qui permet d'obtenir de nouveaux algorithmes pour l'évaluation multipoint et l'interpolation (dans diverses bases polynomiales et pour diverses familles de points d'évaluation), ainsi qu'un théorème d'équivalence entre les complexités de ces deux problèmes. La deuxième partie est consacrée à l'algorithmique des nombres algébriques. Nous étudions d'abord certaines opérations élémentaires, comme la somme, le produit et leur généralisation, le produit diamant de Brawley et Carlitz. Leur calcul repose sur l'utilisation de l'opérateur de Newton formel et de la dualité algébrique, traduite algorithmiquement par l'emploi du principe de transposition et des méthodes de type pas de bébés / pas de géants. Ces méthodes sont ensuite généralisées au cadre des systèmes de polynômes de dimension zéro, pour le calcul de polynômes minimaux dans des algèbres quotient, ainsi que de paramétrisations rationnelles. Dans la troisième partie, nous étudions la question du calcul d'un terme d'une suite récurrente linéaire à coefficients polynomiaux. Comme application, nous obtenons des améliorations théoriques et pratiques des méthodes de comptage de points utilisées en cryptographie. Nous proposons ensuite une méthode de type évaluation-interpolation pour certaines opérations usuelles sur les opérateurs différentiels linéaires à coefficients polynomiaux.

The topic of this thesis is a diffusion process on a potential landscape which is given by a smooth Hamiltonian function in the regime of small noise. The work provides a new proof of the Eyring-Kramers formula for the Poincaré inequality of the associated generator of the diffusion. The Poincaré inequality characterizes the spectral gap of the generator and establishes the exponential rate of convergence towards equilibrium in the L²-distance. This result was first obtained by Bovier et. al. in 2004 relying on potential theory. The presented approach in the thesis generalizes to obtain also asymptotic sharp estimates of the constant in the logarithmic Sobolev inequality. The optimal constant in the logarithmic Sobolev inequality characterizes the convergence rate to equilibrium with respect to the relative entropy, which is a stronger distance as the L²-distance and slightly weaker than the L¹-distance. The optimal constant has here no direct spectral representation. The proof makes use of the scale separation present in the dynamics. The Eyring-Kramers formula follows as a simple corollary from the two main results of the work: The first one shows that the associated Gibbs measure restricted to a basin of attraction has a good Poincaré and logarithmic Sobolev constants providing the fast convergence of the diffusion to metastable states. The second main ingredient is a mean-difference estimate. Here a weighted transportation distance is used. It contains the main contribution to the Poincaré and logarithmic Sobolev constant, resulting from exponential long waiting times of jumps between metastable states of the diffusion.

Quantified Boolean formulas (QBFs) play an important role in theoretical computer science. QBF extends propositional logic in such a way that many advanced forms of reasoning can be easily formulated and evaluated. In this dissertation we present our ZQSAT, which is an algorithm for evaluating quantified Boolean formulas. ZQSAT is based on ZBDD: Zero-Suppressed Binary Decision Diagram / which is a variant of BDD, and an adopted version of the DPLL algorithm. It has been implemented in C using the CUDD: Colorado University Decision Diagram package. <br><br> The capability of ZBDDs in storing sets of subsets efficiently enabled us to store the clauses of a QBF very compactly and let us to embed the notion of memoization to the DPLL algorithm. These points led us to implement the search algorithm in such a way that we could store and reuse the results of all previously solved subformulas with a little overheads. ZQSAT can solve some sets of standard QBF benchmark problems (known to be hard for DPLL based algorithms) faster than the best existing solvers. In addition to prenex-CNF, ZQSAT accepts prenex-NNF formulas. We show and prove how this capability can be exponentially beneficial. <br><br> / In der Dissertation stellen wir einen neuen Algorithmus vor, welcher Formeln der quantifizierten Aussagenlogik (engl. Quantified Boolean formula, kurz QBF) löst. QBFs sind eine Erweiterung der klassischen Aussagenlogik um die Quantifizierung über aussagenlogische Variablen. Die quantifizierte Aussagenlogik ist dabei eine konservative Erweiterung der Aussagenlogik, d.h. es können nicht mehr Theoreme nachgewiesen werden als in der gewöhnlichen Aussagenlogik. Der Vorteil der Verwendung von QBFs ergibt sich durch die Möglichkeit, Sachverhalte kompakter zu repräsentieren. <br><br> SAT (die Frage nach der Erfüllbarkeit einer Formel der Aussagenlogik) und QSAT (die Frage nach der Erfüllbarkeit einer QBF) sind zentrale Probleme in der Informatik mit einer Fülle von Anwendungen, wie zum Beispiel in der Graphentheorie, bei Planungsproblemen, nichtmonotonen Logiken oder bei der Verifikation. Insbesondere die Verifikation von Hard- und Software ist ein sehr aktuelles und wichtiges Forschungsgebiet in der Informatik. <br><br> Unser Algorithmus zur Lösung von QBFs basiert auf sogenannten ZBDDs (engl. Zero-suppressed Binary decision Diagrams), welche eine Variante der BDDs (engl. Binary decision Diagrams) sind. BDDs sind eine kompakte Repräsentation von Formeln der Aussagenlogik. Der Algorithmus kombiniert nun bekannte Techniken zum Lösen von QBFs mit der ZBDD-Darstellung unter Verwendung geeigneter Heuristiken und Memoization. Memoization ermöglicht dabei das einfache Wiederverwenden bereits gelöster Teilprobleme. <br><br> Der Algorithmus wurde unter Verwendung des CUDD-Paketes (Colorado University Decision Diagram) implementiert und unter dem Namen ZQSAT veröffentlicht. In Tests konnten wir nachweisen, dass ZQSAT konkurrenzfähig zu existierenden QBF-Beweisern ist, in einigen Fällen sogar bessere Resultate liefern kann.

Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications. La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode. Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L'étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d'étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L'étape suivante est l'exécution d'une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d'aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d'états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l'applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l'utilisons sur un exemple de taille importante utilisée dans la littérature.

This thesis is devoted to the study of operators on discrete structures. The operators are supposed to be self-adjoint and obey a certain translation invariance property. The discrete structures are given as Cayley graphs via finitely generated groups. Here, sofic groups and amenable groups are in the center of our considerations. Note that every finitely generated amenable group is sofic. We investigate the spectrum of a discrete self-adjoint operator by studying a sequence of finite dimensional analogues of these operators. In the setting of amenable groups we obtain these approximating operators by restricting the operator in question to finite subsets Qn , n ∈ N. These finite dimensional operators are self-adjoint and therefore admit a well-defined normalized eigenvalue counting function. The limit of the normalized eigenvalue counting functions when |Qn | → ∞ (if it exists) is called the integrated density of states (IDS). It is a distribution function of a probability measure encoding the distribution of the spectrum of the operator in question on the real axis. In this thesis, we prove the existence of the IDS in various geometric settings and for different types of operators. The models we consider include deterministic as well as random situations. Depending on the specific setting, we prove existence of the IDS as a weak limit of distribution functions or even as a uniform limit. Moreover, in certain situations we are able to express the IDS via a semi-explicit formula using the trace of the spectral projection of the original operator. This is sometimes referred to as the validity of the Pastur-Shubin trace formula. In the most general geometric setting we study, the operators are defined on Cayley graphs of sofic groups. Here we prove weak convergence of the eigenvalue counting functions and verify the validity of the Pastur-Shubin trace formula for random and non-random operators . These results apply to operators which not necessarily bounded or of finite hopping range. The methods are based on resolvent techniques. This theory is established without having an ergodic theorem for sofic groups at hand. Note that ergodic theory is the usual tool used in the proof of convergence results of this type. Specifying to operators on amenable groups we are able to prove stronger results. In the discrete case, we show that the IDS exists uniformly for a certain class of finite hopping range operators. This is obtained by using a Banach space-valued ergodic theorem. We show that this applies to eigenvalue counting functions, which implies their convergence with respect to the Banach space norm, in this case the supremum norm. Thus, the heart of this theory is the verification of the Banach space-valued ergodic theorem. Proceeding in two steps we first prove this result for so-called ST-amenable groups. Then, using results from the theory of ε-quasi tilings, we prove a version of the Banach space-valued ergodic theorem which is valid for all amenable groups. Focusing on random operators on amenable groups, we prove uniform existence of the IDS without the assumption that the operator needs to be of finite hopping range or bounded. Moreover, we verify the Pastur-Shubin trace formula. Here we present different techniques. First we show uniform convergence of the normalized eigenvalue counting functions adapting the technique of the Banach space-valued ergodic theorem from the deterministic setting. In a second approach we use weak convergence of the eigenvalue counting functions and additionally obtain control over the convergence at the jumps of the IDS. These ingredients are applied to verify uniform existence of the IDS. In both situations we employ results from the theory of large deviations, in order to deal with long-range interactions.