La demande reconventionnelle est une conclusion du défendeur qui poursuit des avantages autres que le simple rejet de la prétention du demandeur. Elle peut être introduite dans toutes les juridictions, mais devant la Cour Internationale de Justice elle présente des caractéristiques particulières que notre recherche a souhaité mettre en lumière. Celles-ci apparaissent tant dans les éléments constitutifs de cette demande que dans ses conditions de recevabilité. En ce qui concerne les éléments de sa définition, il ressort de la jurisprudence de la Cour qu’elle est une demande autonome et indépendante, qu’elle est un moyen de défense, qu’elle est formée par le défendeur et qu’elle est une demande incidente. Toutefois, s’il ne fait aucun doute qu’elle constitue une demande autonome, il n’en demeure pas moins que la pertinence de son influence sur le sort de la demande de la partie adverse, l’identification de la partie habilitée à l’introduire en cas de saisine de la Cour par compromis, et sa distinction d’autres demandes réciproques, restent à déterminer. S’agissant des conditions de sa recevabilité, une distinction délicate doit être établie entre la « connexité » requise par l’article 80 du Règlement et la « jonction » de la demande à l’instance en cours. A ce titre une question centrale se pose, celle de savoir si le juge peut refuser une demande reconventionnelle pourtant connexe à l’objet du litige, et inversement, l’accepter quand la connexité fait défaut. Alors que la jurisprudence de la Cour paraît incertaine et la doctrine reste partagée, notre thèse avance des arguments pour une réponse favorable. / The counterclaim is the submission of respondent that pursuing objectives other than the mere dismissal of the claim of the applicant in the main proceedings. The counterclaim which the International Court of Justice may entertain by virtue of article 80 of the rules, although similar to those that can be introduced in other jurisdictions, has unique characteristics. This appears in both components of this claim and in its conditions of admissibility. Regarding its definition, if one should not doubt that it constitutes a legal claim, the fact remains that its influence on the fate of the claim of the other party, the identification of the party entitled to present such a claim when the case is brought before the Court by ad hoc compromise, and its distinction from other cross-claims, are to be determined. As regards the conditions of admissibility, after explaining that it must comes within the jurisdiction of the Court and maintain a direct connection with the subject-matter of the claim of the other party, this research emphasizes the distinction between its admissibility under rule 80 and its junction with the current proceeding. The goal is to demonstrate that an claim brought by the defendant may not be attached to the pending proceeding even though the conditions imposed by the rules are met.

Dans cette thèse nous étudions différents problèmes de graphes et multigraphes arêtes-coloriés tels que la connexité propre, la coloration forte d'arêtes et les chaînes et cycles hamiltoniens propres. Enfin, nous améliorons l'algorithme connu $O(n^4)$ pour décider du comportement d'un graphe sous opérateur biclique, en étudiant les bicliques dans les graphes sans faux jumeaux. Plus précisément, 1) Nous étudions d'abord le nombre $k$-connexité-propre des graphes, noté $pc_k(G)$, ç'est à dire le nombre minimum de couleurs nécessaires pour colorer les arêtes d'un graphe de façon à ce qu'entre chaque paire de sommets, ils existent $k$ chemins intérieurement sommet-disjoints. Nous prouvons plusieurs bornes supérieures pour $pc_k(G)$. Nous énonçons quelques conjectures pour les graphes généraux et bipartis et nous les prouvons dans le cas où $k = 1$. 2) Nous étudions l'existence de chaînes et de cycles hamiltoniens propres dans les multigraphes arêtes-coloriés. Nous établissons des conditions suffisantes, en fonction de plusieurs paramètres tels que le nombre d'arêtes, le degré arc-en-ciel, la connexité, etc. 3) Nous montrons que l'indice chromatique fort est linéaire au degré maximum pour tout graphe $k$-dégénéré où, $k$ est fixe. En corollaire, notre résultat conduit à une amélioration des constantes et donne également un algorithme plus simple et plus efficace pour cette famille de graphes. De plus, nous considérons les graphes planaires extérieurs. Nous donnons une formule pour trouver l'indice chromatique fort exact pour les graphes bipartis planaires extérieurs. Nous améliorons également la borne supérieure pour les graphes planaires extérieurs généraux. 4) Enfin, nous étudions les bicliques dans les graphes sans faux jumeaux et nous présentons ensuite un algorithme $O(n+m)$ pour reconnaître les graphes convergents et divergents en améliorant l'algorithme $O(n^4)$. / In this thesis, we study different problems in edge-colored graphs and edge-colored multigraphs, such as proper connection, strong edge colorings, and proper hamiltonian paths and cycles. Finally, we improve the known $O(n^4)$ algorithm to decide the behavior of a graph under the biclique operator, by studying bicliques in graphs withoutfalse-twin vertices. In particular: 1) We first study the $k$-proper-connection number of graphs, this is, the minimum number of colors needed to color the edges of a graph such that between any pair of vertices there exist $k$ internally vertex-disjoint paths. We denote this number $pc_k(G)$. We prove several upper bounds for $pc_k(G)$. We state some conjectures for general and bipartite graphs, and we prove all of them for the case $k=1$. 2) Then, we study the existence of proper hamiltonian paths and proper hamiltonian cycles in edge-colored multigraphs. We establish sufficient conditions, depending on several parameters such as the number of edges, the rainbow degree, the connectivity, etc. 3) Later, we showthat the strong chromatic index is linear in the maximum degree for any $k$-degenerate graph where $k$ is fixed. As a corollary, our result leads to considerable improvement of the constants and also gives an easier and more efficient algorithm for this familly of graphs. Next, we consider outerplanar graphs. We give a formula to find exact strong chromatic index for bipartite outerplanar graphs. We also improve the upper bound for general outerplanar graphs from the $3\Delta-3$ bound. 4) Finally, we study bicliques in graphs without false-twin vertices and then we present an $O(n+m)$ algorithm to recognize convergent and divergent graphs improving the $O(n^4)$ known algorithm.

Le but de cette thèse s'est inscrit dans le développement des formulations électromagnétiques 3D adaptées à la modélisation des dispositifs fonctionnant en fréquences élevées. La modélisation de ces appareils s'est heurtée à des difficultés liées :<br />- à leur géométrie complexe 3D. Circuit magnétique non simplement connexe, problème de connexité en cas d'utilisation de formulation en potentiel scalaire magnétique.<br />- À l'effet de peau prononcé du à leur fréquence de fréquence de fonctionnement élevée. Dans ce cas, l'évaluation de perte par courant de Foucault et en particulier les pertes par effet de proximité, est très difficile.<br />Compte tenu de ces difficultés, nous avons mis au point des développements adaptés, qui permettent :<br />- dans un premier temps, de détecter automatiquement tout problème éventuel lié au circuit magnétique fermé. En particulier, nous avons développé un algorithme qui génère automatiquement des coupures nécessaires pour résoudre le problème de connexité.<br />- Dans un deuxième temps, de prendre en compte des pertes par effet de proximité en utilisant une perméabilité complexe équivalente. Cette dernière permet de réduire considérablement les inconnues utilisées dans la modélisation des pertes par courant de Foucault. Ceci apporte de grands intérêts économiques en terme de mémoire et de temps de calcul. Différents méthodes de détermination de la perméabilité complexe ont été investis et ont donnés des résultats très prometteur.<br />Ces développements ont été validés dans un code de calcul scientifique avec succès. Ils permettent une utilisation de la formulation en potentiel scalaire magnétique plus convivial et s'ouvrent à un champ d'application plus grand. Ils envisagent des simulations difficiles qui sont jusqu'à l'heur actuelle non accessibles.

La Constitution, entendue dans son acception la plus générale comme La marque suprême de souveraineté nationale, ne cesse d'évoluer au fil de l'approfondissement de la construction européenne. Un tel constat se manifeste à la fois dans le contenu matériel et normatif de la norme première, dans son aspect purement formel et dans son essence même. Pour s'en convaincre, il suffit de se reporter aux nombreuses révisions constitutionnelles ayant été effectuées sous la pression de l'intégration européenne. La doctrine évoque une communautarisation des Constitutions nationales voire une constitutionnalisation du droit communautaire. Dans cette optique, il convient de s'interroger, par le biais d'une démarche comparatiste évolutive, sur la portée effective et sur les conséquences de ces évolutions sur les contours et l'acception de la Constitution française.Est­-il encore possible d'évoquer un monopole de souveraineté pour caractériser cette dernière, face à l'exercice par l'Union européenne de la souveraineté transférée ? Est-­il réellement légitime, et juridiquement juste, de continuer à appréhender la Constitution à partir de son cadre national d'origine ? En d'autres termes, et d'une manière plus radicale, le concept de Constitution peut‐il encore être rattaché à un sens traditionnel et exclusif, tel qu'issu du droit interne? Face aux incertitudes européennes dont la norme suprême fait désormais l'objet, force est de dépasser le cadre d'étude fondamental traditionnel par la construction d'un nouveau concept de "Constitution", supplantant les principales définitions jusqu'ici admises.

Les Séries Temporelles d'Images Satellitaires (STIS), visant la même scène en évolution, sont très intéressantes parce qu'elles acquièrent conjointement des informations temporelles et spatiales. L'extraction de ces informations pour aider les experts dans l'interprétation des données satellitaires devient une nécessité impérieuse. Dans ce mémoire, nous exposons comment on peut adapter l'extraction de motifs séquentiels fréquents à ce contexte spatio-temporel dans le but d'identifier des ensembles de pixels connexes qui partagent la même évolution temporelle. La démarche originale est basée sur la conjonction de la contrainte de support avec différentes contraintes de connexité qui peuvent filtrer ou élaguer l'espace de recherche pour obtenir efficacement des motifs séquentiels fréquents groupés (MSFG) avec signification pour l'utilisateur. La méthode d'extraction proposée est non supervisée et basée sur le niveau pixel. Pour vérifier la généricité du concept de MSFG et la capacité de la méthode proposée d'offrir des résultats intéressants à partir des SITS, sont réalisées des expérimentations sur des données réelles optiques et radar. / The Satellite Image Time Series (SITS), aiming the same scene in evolution, are of high interest as they capture both spatial and temporal information. The extraction of this infor- mation to help the experts interpreting the satellite data becomes a stringent necessity. In this work, we expound how to adapt frequent sequential patterns extraction to this spatiotemporal context in order to identify sets of connected pixels sharing a same temporal evolution. The original approach is based on the conjunction of support constraint with different constraints based on pixel connectivity that can filter or prune the search space in order to efficiently ob- tain Grouped Frequent Sequential (GFS) patterns that are meaningful to the end user. The proposed extraction method is unsupervised and pixel level based. To verify the generality of GFS-pattern concept and the proposed method capability to offer interesting results from SITS, real data experiments on optical and radar data are presented.

Nous nous intéresserons aux graphes avec conflits (un conflit est une paire d’arêtes ne pouvant pas simultanément faire partie d’un même sous-graphe), dans lesquels nous étudierons différents types de problèmes liés à l’existence de sous-graphes sans conflit, de nature aussi bien algorithmique que combinatoire, notre ligne directrice étant la notion de connectivité. Nous verrons que plusieurs résultats, simples sans conflit, ne le sont plus lors de l’ajout de conflits. Nous présenterons : des algorithmes exacts (non polynomiaux), des résultats de \mathcal{N P}-complétude, et des conditions suffisantes assurant l’existence de certains objets (arbre couvrant, chemin et cycle hamiltonien) sans conflits. / We will look at graphs with conflicts (conflict is a pair of edges can not simultaneously be part of the same subgraph), in which we will study different types of problems related to the existence of subgraphs without conflict. The nature of the problems is both combinatorial and algorithmic. Our guideline is the notion of connectivity. We will see several results, simple without conflict, are no longer when adding conflicts. We will present exact algorithms (not polynomial), \mathcal{N P}-completeness results and sufficient conditions ensuring the existence of certain objects (spanning tree, path and Hamiltonian cycle) without conflict.

La Constitution, entendue dans son acception la plus générale comme La marque suprême de souveraineté nationale, ne cesse d’évoluer au fil de l’approfondissement de la construction européenne. Un tel constat se manifeste à la fois dans le contenu matériel et normatif de la norme première, dans son aspect purement formel et dans son essence même. Pour s’en convaincre, il suffit de se reporter aux nombreuses révisions constitutionnelles ayant été effectuées sous la pression de l’intégration européenne. La doctrine évoque une communautarisation des Constitutions nationales voire une constitutionnalisation du droit communautaire. Dans cette optique, il convient de s’interroger, par le biais d’une démarche comparatiste évolutive, sur la portée effective et sur les conséquences de ces évolutions sur les contours et l’acception de la Constitution française.Est­-il encore possible d’évoquer un monopole de souveraineté pour caractériser cette dernière, face à l’exercice par l’Union européenne de la souveraineté transférée ? Est-­il réellement légitime, et juridiquement juste, de continuer à appréhender la Constitution à partir de son cadre national d’origine ? En d’autres termes, et d’une manière plus radicale, le concept de Constitution peut‐il encore être rattaché à un sens traditionnel et exclusif, tel qu’issu du droit interne? Face aux incertitudes européennes dont la norme suprême fait désormais l’objet, force est de dépasser le cadre d’étude fondamental traditionnel par la construction d’un nouveau concept de «Constitution», supplantant les principales définitions jusqu’ici admises. / The Constitution, taken in the most generally understood definition of supreme nationalauthority, is continuously evolving with the increasing structural complexity of the Europeancommunity . Such findings are in evidence not only in the material content and the normativestandard of the first degree but also in its purely formal aspect and its essence.To be persuaded this is happening, it is enough to look at the numerous constitutionalamendments brought about under the pressure of European integration.The tenet calls to mind a normalization of the national constitutions of member states into theframework of the European constitution .In this perspective, one has to ask through an evolutionary comparative step, whether thesechanges are being effective and the consequences they will have on the shaping andacceptance of the French Constitution.Is it still possible to think of the exclusive possessionof sovereignty when faced with the European Union transferred sovereignty rule.Is it truly legitimate and legally right to continue to perceive the constitution from its originalnational foundations. In other words and in a more radical way, can the concept ofConstitution be linked to a traditional and sole meaning as originating from a nationalprerogative.Faced with European uncertainties, whose legal supremacy has been put into question, onehas to go beyond the fundamentally traditional framework towards the building of a newconcept of "Constitution" which supersedes the main definitions as accepted to the presenttime.

L'analyse régionale est une investigation délicate puisqu'une région est un ensemble hétéroclite et complexe d'invariants et de paramètres, visibles ou invisibles, mobiles ou inertes, en relation continue et interdépendante. Cerner toutes les composantes spatiales d'une région donnée est presque du domaine de l'impossible; seulement, il faut que les facteurs pris en considération soient essentiels et déterminants et permettent donc de mettre en relief les principaux écarts et décalages qui caractérisent une région quelconque.<br />C'est ainsi que l'objectif qui a déterminé la démarche de notre étude a été d'essayer de dépeindre la configuration spatiale antérieure et actuelle de l'Algérie à travers sa partie orientale qui est "l'Est Algérien". Pour tenter d'y parvenir, nous avons pris en considération trois types de maillages qui sont les territoires (wilayas et communes), le réseau urbain (toute taille confondue) et le réseau des voies de communication avec la trame routière et le réseau ferroviaire. Pour chaque type de réseau (territoires, réseau urbain et voies de communication), il a été à chaque fois nécessaire de présenter son évolution depuis presque l'antiquité, d'étudier sa configuration actuelle puis de la confronter avec des modèles théoriques en utilisant des outils d'analyse et d'investigation mis au point dans ce contexte.<br />Il ressort cependant que quel que soit le réseau ou le maillage pris en considération, l'Est Algérien s'est toujours montré comme un exemple typique d'un espace qui présente des formes opposées identifiables quelle que soit la méthode d'analyse utilisée. Il en résulte ainsi que la région, c'est à dire l'Est Algérien, est dominée par deux systèmes spatiaux dualistes :<br />+ un système classique traditionnel caractérisant les régions périphériques (partie occidentale du Tell, sud des Hautes Plaines ou la Steppe, les Nememcha, la région du Hodna et l'Atlas Saharien) qui accusent souvent des retards et des décalages négatifs dans tous les domaines;<br />+ un système spatial hérité légué principalement par le pouvoir colonial et qui se présente globalement comme une région polarisée linéairement le long des principales voies de communication en reliant les villes les plus importantes.<br />Il s'agit en fait du modèle de la région anisotropique qui se présente sous la forme d'une succession de sous-régions polarisées autour de grands centres urbains et bien connectés par les voies de communication suivant un axe préferentiel. De part et d'autre de ce premier système hérité subsistent des sous-systèmes spatiaux marginaux.

Cette thèse porte sur l'étude de la complexité de l'exploration de graphes dynamiques par agent mobile. Une entité mobile (appelée agent) se déplaçant dans un graphe dynamique doit traverser/visiter au moins une fois chacun de ses sommets. (Le temps de traversée d'une arête est unitaire.) Ce problème fondamental en algorithmique par agents mobiles a été très étudié dans les graphes statiques depuis l'article originel de Claude Shannon. Concernant les graphes dynamiques, seul le cas des graphes dynamiques périodiques a été étudié. Nous étudions ce problème dans deux familles de graphes dynamiques, les graphes dynamiques périodiquement variables (PV-graphes) et les graphes dynamiques T-intervalle-connexes. Les résultats obtenus dans cette thèse améliorent des résultats existants et donnent des bornes optimales sur le problème étudié. Un PV-graphe est défini par un ensemble de transporteurs suivant infiniment leur route respective le long des stations du réseau. En 2013, Flocchini, Mans et Santoro ont étudié le problème de l'exploration des PV-graphes en considérant que l'agent doit toujours rester sur les transporteurs. Cette thèse montre l'impact de la capacité d'attendre sur les stations. Nous prouvons que l'attente sur les stations permet à l'agent d'atteindre de meilleures complexités en pire cas : le nombre de mouvements est réduit d'un facteur multiplicatif d'au moins $\Theta(p)$, et la complexité en temps passe de $\Theta(kp^2)$ à $\Theta(np)$, où $n$ est le nombre de stations, $k$ le nombre de transporteurs, et $p$ la période maximale ($n\leq kp$ dans tout PV-graphe connexe). Par ailleurs, l'algorithme que nous proposons pour prouver les bornes supérieures permet de réaliser la cartographie du PV-graphe, en plus de l'explorer. Dans la deuxième partie de cette thèse, nous considérons le même problème (l'exploration) dans les graphes dynamiques T-intervalle-connexes. Un graphe dynamique est $T$-intervalle-connexe ($T \geq 1$) si pour chaque fenêtre de $T$ unités de temps, il existe un sous-graphe couvrant connexe stable. Nous considérons dans un premier temps les graphes dynamiques T-intervalle-connexes qui ont un anneau de taille $n$ comme graphe sous-jacent et nous montrons que la complexité en temps en pire cas de leurs exploration est de $2n-T-\Theta(1)$ unités de temps si l'agent connaît la dynamique du graphe, et $n+ \frac{n}{\max\{1,T-1\}} (\delta-1) \pm\Theta(\delta)$ unités de temps sinon, où $\delta$ est le temps maximum entre deux apparitions successives d'une arête. Nous généralisons ensuite ces résultats en considérant une autre famille de graphes sous-jacents, les cactus à $n$ sommets. Un cactus est un graphe connexe dans lequel deux cycles ont au plus un sommet en commun. Nous donnons un algorithme qui permet d'explorer ces graphes dynamiques en au plus $2^{O(\sqrt{log n})} n$ unités de temps, et nous montrons que la borne inférieure de notre algorithme est $2^{\Omega(\sqrt{log n})} n$.

Les réseaux dynamiques sont constitués d’entités établissant des contacts les unes avec les autres dans le temps. Un défi majeur dans les réseaux dynamiques est de prédire les modèles de mobilité et de décider si l’évolution de la topologie satisfait aux exigences du succès d’un algorithme donné. Les types de dynamique résultant de ces réseaux sont variés en échelle et en nature. Par exemple,certains de ces réseaux restent connexes tout le temps; d’autres sont toujours déconnectés mais offrent toujours une sorte de connexité dans le temps et dans l’espace(connexité temporelle); d’autres sont connexes de manière récurrente, périodique,etc. Tous ces contextes peuvent être représentés sous forme de classes de graphes dynamiques correspondant à des conditions nécessaires et/ou suffisantes pour des problèmes ou algorithmes distribués donnés. Étant donné un graphe dynamique,une question naturelle est de savoir à quelles classes appartient ce graphe. Dans ce travail, nous apportons une contribution à l’automatisation de la classification de graphes dynamiques. Nous proposons des stratégies pour tester l’appartenance d’un graphe dynamique à une classe donnée et nous définissons un cadre générique pour le test de propriétés dans les graphes dynamiques. Nous explorons également le cas où aucune propriété sur le graphe n’est garantie, à travers l’étude du problème de maintien d’une forêt d’arbres couvrants dans un graphe dynamique. / Dynamic networks consist of entities making contact over time with one another. A major challenge in dynamic networks is to predict mobility patterns and decide whether the evolution of the topology satisfies requirements for the successof a given algorithm. The types of dynamics resulting from these networks are varied in scale and nature. For instance, some of these networks remain connected at all times; others are always disconnected but still offer some kind of connectivity over time and space (temporal connectivity); others are recurrently connected,periodic, etc. All of these contexts can be represented as dynamic graph classes corresponding to necessary or sufficient conditions for given distributed problems or algorithms. Given a dynamic graph, a natural question to ask is to which of the classes this graph belongs. In this work we provide a contribution to the automation of dynamic graphs classification. We provide strategies for testing membership of a dynamic graph to a given class and a generic framework to test properties in dynamic graphs. We also attempt to understand what can still be done in a context where no property on the graph is guaranteed through the distributed problem of maintaining a spanning forest in highly dynamic graphs.