Cette thèse propose une approche à la spécification et preuve des propriétés de vivacité<br />avec hypothèses d'équité en B événementiel et présente une sémantique pour ces propriétés<br />fondée sur de points fixes de transformateurs d'ensembles. La proposition utilise une logique<br />de programmation issue de la logique unity pour spécifier et vérifier des propriétés de vivacité<br />sous des hypothèses de progrès minimal et d'équité faible et présente des règles pour préserver<br />ces propriétés dans les raffinements. La sémantique de points fixes nous permet de faire<br />équivalentes les notions d'atteignabilité sous les hypothèses d'équité et de terminaison de<br />l'itération d'événements. Cela nous permet de prouver la correction et la complétude des<br />règles permettant la dérivation des propriétés de vivacité. En outre, cela donne les fondements<br />pour prouver la correction des règles permettant la vérification des propriétés de vivacité et<br />des règles permettant la préservation de la vivacité sous raffinement.

Par le biais d’une étude de cas portant sur un conseil scolaire anglophone ontarien, la recherche entreprise avait pour objectif l’analyse de la mise en œuvre de politiques touchant l’éducation des élèves réfugiés du niveau secondaire en Ontario, soit la politique à l’égard des élèves English language learners de 2007 ainsi que la Stratégie ontarienne d’équité et d’éducation inclusive de 2009. La réalisation d’entrevues semi-dirigées auprès d’informateurs clés du conseil scolaire, du ministère de l’Éducation de l’Ontario et d’un organisme local d’aide à l’établissement des nouveaux arrivants, l’analyse de documents publiés par les deux premières entités ainsi que l’observation non participante à des réunions de comités consultatifs du conseil scolaire ont permis l’exploration de l’impact constaté ou potentiel de la mise en œuvre de ces politiques sur la mise en place d’un modèle de système inclusif de prestation de programmes et services en matière d’éducation des élèves réfugiés du niveau secondaire.

Cette thèse présente plusieurs contributions permettant d'améliorer la diffusion de vidéos. Dans la première partie de la thèse, nous évaluons et analysons les mécanismes de tolérance d'erreurs (correction et masquage d'erreurs). Les performances de ces différents mécanismes sont évaluées pour des taux de pertes de paquets variables. Les contributions suivantes mettent l'accent sur un code à effacements à la volée, appelée Tetrys, plus efficace que les codes en blocs classiques (Forward Error Correction - FEC). Tout d'abord, nous étudions l'application de Tetrys à la transmission vidéo temps réel par des chemins multiples. Nous proposons un découplage entre l'allocation de la charge et la gestion de la redondance pour Tetrys. Tetrys, lorsqu'il est couplé avec un mécanisme de répartition de charge appelé Encoded Multipath streaming (EMS), surpasse le couplage entre EMS et FEC pour les deux modèles de perte testés (Bernoulli et Gilbert-Elliott) en termes de taux de perte résiduel et de qualiée vidéo. En exploitant la capacité de correction de Tetrys, nous étudions ensuite les performances du décodage tardif où les paquets arrivant en retard sont décodés et utilisés pour stopper la propagation d'erreur. Enfin, une étude plus approfondie sur Tetrys propose un algorithme d'adaptation de la redondance, appelé A-Tetrys, permettant de gérer la dynamique du réseau. Cet algorithme combine des approches réactives et pro-actives pour adapter au mieux le taux de redondance. L'évaluation des performances montre que A-Tetrys parvient à gérer simultanément les variations du taux de perte, du modèle de perte et du délai. Nous étudions ensuite un autre challenge en proposant un nouveau critère d'équité : la qualité vidéo. Nous proposons un algorithme Q-AIMD qui permet un partage équitable de la bande passante en termes de qualité vidéo entre des ux concurrents. Nous présentons un système pour le déploiement de cet algorithme Q-AIMD et nous étudions sa convergence. L'évaluation de différentes métriques de qualité vidéo (PSNR, QP et VQM) montre une diminution importante des écarts de qualité vidéo entre plusieurs flux par rapport à l'approche traditionnelle AIMD qui se base sur le débit. De plus, une autre contribution sur ce sujet propose une nouvelle approche appelée courbe virtuelle. Contrairement à QAIMD qui est une approche décentralisée, la courbe virtuelle est une approche centralisée qui permet à la fois une équité entre les flux vidéo en termes de qualité vidéo et une équité entre les flux non-vidéo et flux vidéo en termes de débit. / This thesis contributes to deal with the challenges in video delivery. In the first part of the thesis, we evaluate and analyse the error tolerance schemes (error protection and error resilience). The analysis shows how an error protection solution (equal and unequal) behaves in a wide range of packet loss rate from less lossy to error prone environments. We then study the performance of error protection schemes against the error resilience tools. Departing from the insights drawn from the evaluation and analysis, our next contributions focus on an on-the-y systematic erasure code, named Tetrys, which outperforms the traditional Forward Error Correction (FEC) approach. First, we study the application of Tetrys to real-time multipath transmission. We propose decoupling between load allocation and redundancy traffic for Tetrys. Tetrys coupled with a load splitting scheme, Encoded Multipath Streaming (EMS), outperforms the coupling between EMS and FEC for both loss patterns (Bernoulli and Gilbert-Elliott) in terms of residual loss rate and video quality. Exploiting the full reliable property of Tetrys, we then study the performance of Tetrys late-decoding (LD) where late-arrival packets are lately decoded and used to stop the error progatation. Finally, a deeper study on Tetrys focuses on an redundancy adaptation algorithm, named A-Tetrys, to cope with the network dynamics. We propose an algorithm which has both reaction and estimation behaviors to adapt its redundancy ratio. The performance evaluation shows that A-Tetrys copes well with the variations of both loss rate, loss pattern and delay. Then, we study another today challenge for a new fairness criterion, the video quality. We propose a Q-AIMD algorithm that enables a fair share in terms of video quality between competing ows. We discuss a system with the control granularity to deploy the Q-AIMD algorithm and study its convergence. The evaluation with different video quality metrics (PSNR, QP and VQM) shows an important diminution in video quality discrepancies between different transmitted ows compared to traditional throughput-based AIMD. Looking from another view, another work focuses on a virtual curve approach. Unlike Q-AIMD which is a decentralized approach, virtual curve is a centralized approach that enables both intra-fairness between video ows in terms of video quality and inter-fairness between non-video and video ows in terms of throughput.

Envisagé comme le pouvoir d’imposer ses choix dans la résolution du litige dont il a été saisi, le libre arbitre du juge est une formule ambivalente. D’un côté, il suscite un sentiment de rejet car il réveille une vieille peur, celle du gouvernement des juges, reçue en héritage des Parlements de l’Ancien Régime. De l’autre, nul ne peut croire que la réalisation du droit par le juge peut se réduire à une activité mécanique ne laissant aucune place à la volonté de ce dernier. Il résulte de cette appréhension contradictoire du libre arbitre du juge un problème tenant à la valeur qu’il convient de lui accorder. Ce libre arbitre est porteur de bienfaits : il est une composante de l’art de juger qui s’exerce dans la façon d’appréhender les faits et dans la façon d’appliquer le droit. Mais le libre arbitre du juge possède aussi une face plus sombre. Il est susceptible de dériver jusqu’à se muer en arbitraire. Les manifestations de l’arbitraire du juge mobilisent des instruments de lutte dont aucun ne parvient à éliminer la menace. Le libre arbitre est ainsi placé au cœur d’une équation délicate qui témoigne de la complexité profonde de l’acte de juger. / Considered as the power to impose his deliberate will in the settlement of a dispute brought before him, the judge's free will is an ambivalent formula. On the one hand, it triggers rejection because it reawakens the longstanding fear of the "government of judges" inherited from the monarchic culture. On the other hand, one cannot believe that the achievement of law through justice can be reduced to a mere mechanical activity leaving no room for the judge's will. This contradictory apprehension of the judge's free will results in an issue related to the value this free will should be granted. It has benefits : as a component of the art of judging, it impacts both the way the facts are approached and the way law is a applied. However, the judge's free will also has a darker side. It might shift and turn into arbitrary. The signs of the judge's arbitrary mobilise instruments for combating the threat, but none of them succeeds in eradicating it. Hence, free will is at the heart of a delicate balance witnessing the complexity of the function of judging.

Les grilles de calcul et le “cloud computing” permettent de distribuer un ensemble de ressources informatiques, telles que du stockage ou du temps de calcul, à un ensemble d’utilisateurs en fonction de leurs demandes en donnant l’illusion de ressources infinies. Cependant, lorsque l’ensemble de ces ressources est insuffisant pour satisfaire les exigences des utilisateurs, des conflits d’intérêts surgissent. Ainsi, un libre accès à des ressources limitées peut entraîner une utilisation inefficace qui pénalise l’ensemble des participants. Dans de tels environnements, il devient nécessaire d’établir des procédures d’arbitrage afin de résoudre ces conflits en garantissant une distribution équitable aux différents utilisateurs. Nous présentons une nouvelle classe de problèmes : celle des ordonnancements multi-utilisateurs. Cette thèse aborde la notion d’équité au travers de problèmes d’allocation de ressources sous incertitudes et d’ordonnancement de tâches périodiques. / Grid and Cloud computing make possible the sharing of computer system resources, such as storage or computation time, among a set of users, according to their requests, thereby creating an illusion of infinite resources. However, as soon as those resources are insufficient to meet users’s expectations, conflicts of interest arise. Therefore, unlimited access to limited resources may lead to inefficient usage which penalizes the whole set of users. In such environments, arbitration becomes necessary in order to settle those conflicts and ensure a fair allocation to all users. We present two classes of problems : multi-user resource allocation under uncertainty and multi-user periodic task scheduling. We tackle these problems from the point of view of fairness.

Dans un contexte de rareté et volatilité des hauts potentiels, attirer et retenir les "Knowledge workers" est devenu un enjeu de taille pour les entreprises en concurrence. Cette recherche tente d'apporter une lecture spécifique de l'approche "Competency-based pay" (Lawler, 1994 ; Ledford, 1995 ; Zingheim & Schuster, 2007) qui met l'accent sur le rôle stratégique de la structure de rémunération globale (Le Berre, 1993 ; Igalens & Roussel, 1996 ; Peretti, 2000), et le redéploiement efficace de ses composants, et ses modalités d'évaluation et de gestion comme des variables d'action susceptibles de répondre aux espérances des Knowledge workers, dans l'objectif de développer leur engagement organisationnel (Meyer & Allen, 1991 ; Meyer & Parfyonova, 2010). Une étude quantitative est menée auprès de 313 cadres informaticiens de la région parisienne qui renseigne sur leurs prétentions salariales les plus à même d'avoir un pouvoir attractif et prédictif sur leur engagement organisationnel. Il en ressort, l'attractivité perçue à l'égard aussi bien de la rémunération de la performance, individuelle et collective, en réponse à leurs attentes multidimensionnelles; du package de la rémunération flexible constitué d'un large éventail de choix entre les différents composants de la rémunération globale; et de la rémunération du développement personnel et professionnel monnayant leurs investissements consentis au travail. Néanmoins, même si la rémunération irréversible perçue comme un droit acquis s'avère comme peu attrayante en raison des critères d'évaluation inadéquats; il n'en demeure moins vrai qu'une rémunération au mérite se basant sur les compétences déployées et les performances réalisées, est la variable d'action à revisiter par l'entreprise française. Sachant que les Knowledge workers ont constamment le regard porté sur l'équité professionnelle, la reconnaissance du mérite individuel, la valorisation des contributions collectives, la satisfaction du besoin d'accomplissement personnel et professionnel devraient sans tarder inspirer des stratégies de rétention mieux adaptées à ces profils rares et volatiles. / Attracting and holding «Knowledge workers" in the current context of potential scarcity and volatility has become a major challenge for companies in perpetual competition. This research attempts to provide a specific reading of the "Competency-based pay" approach (Lawler, 1994; Ledford, 1995; Zingheim & Schuster, 2007) which focuses on the strategic role of overall compensation structure (Le Berre, 1993; Igalens & Roussel, 1996; Peretti, 2000) and the effective redeployment of its components. This work also examines its methods of assessment and management as action variables likely to meet the expectations of Knowledge workers, with the ultimate objective of developing organizational commitment (Meyer & Allen, 1991; Meyer & Parfyonova, 2010). A quantitative study was conducted among 313 IT managers in the Paris region, the results of which indicate that salary is the variable most likely to have an attractive power and to be predictive of organizational commitment. It appears that in response to multidimensional expectations, flexible remuneration packages increase perceived attractiveness of individual and collective pay for performance. This can be manifested in a wide range of choices between different total compensation components, and includes compensation for personal and professional development resulting from investment at work. “Permanent compensation” is seen as an acquired right, yet is comparatively unattractive because of inadequate evaluation criteria, thus, merit pay based on deployed skills and performance is the variable that French companies need to reexamine. Knowing that Knowledge workers constantly seek employment equity and recognition of individual merit and collective contributions, strategies suited to satisfying the personal and professional needs of these rare and volatile individuals should immediately be enacted.

Défini comme un ensemble de mesures d'intérêt général compatibles avec un fonctionnement concurrentiel des marchés, le service universel est l'obligation pour un opérateur (ou un groupe d'opérateurs) de fournir un service de base d'une qualité donnée à tous les consommateurs à un tarif abordable. Le plus souvent, une contrainte de prix uniforme est également imposée. Jusqu'ici, la littérature économique s'est surtout articulée autour des questions allocatives. Néanmoins, l’argument de la Pareto-efficacité n’est pas suffisant pour justifier pleinement le service universel. En particulier, si la littérature souligne également l'aspect éthique des OSU, aucune référence n'est faite aux développements récents des théories économiques de la justice.Nous proposons d’articuler cette thèse en trois points. Premièrement, nous proposons l’étude des soubassements éthiques des OSU, tels qu’analysés dans la littérature. Cela consiste à proposer une lecture de l’économie industrielle des OSU en termes d’équité et de justice entre les agents impliqués dans les transactions. La notion d’égalitarisme spécifique à la Tobin est traditionnellement avancée pour justifier les OSU. Les nouvelles approches économiques de l’équité peuvent permettre d’aller plus loin et d’affiner les principes en mettant l’accent sur des arbitrages tels que égalité-responsabilité ou égalité-liberté de choix. Dans un deuxième temps, les préférences éthiques du régulateur sont représentées par une fonction de bien-être social à la Atkinson-Stiglitz. Ceci permet d’élucider l’implémentation de critères éthiques à travers les OSU dans un contexte ou il existe des contraintes de marché (telles qu’une tarification ou une couverture de monopole ou de duopole). Ceci révèle les avantages comparatifs de chaque instrument des OSU en termes d’efficacité et d’équité. Cela permet également de déterminer quels instruments sont complémentaires ou substituts au regard des différentes mesures d’équité et d’efficacité. Enfin, nous décrivons l’évolution du cadre législatif du service universel, avant d’exposant l’impact distributif du changement de structure de marché dans les industries de réseaux. Alors que le service universel est souvent présenté comme le parent pauvre de la concurrence, visant à considérer les question de justice sociale, nous montrons que l’introduction de la concurrence s’inscrit en elle-même dans une logique distributive qui lui est propre. / Defined as a set of public interest measures compatible with a competitive environment, universal service is the obligation for an operator (or a group of operators) to provide a range of basic services of specified quality to all consumers at an affordable rate. In many instances, a uniform price is imposed as an additional requirement to the service provider.Until now, the economic literature has focused essentially on efficiency issues. Nevertheless, this Pareto efficiency argument is not sufficient to justify plainly the universal service. Particularly, the literature stresses on the ethical aspect of USO but without using the recent development in distributive justice and without introducing it in a competitive market benchmark.The purpose of this thesis is to analyze the nature and the justification of USO and its relationship with ethic considerations. Why should USO constraints be imposed? What should a regulator do with social preferences in term of coverage, pricing, and market structure? Indeed, most models on coverage and pricing of USO generally assume their implementation exogenously, but do not give a justification for them.We propose to articulate this thesis around three points. First, we propose the study of the underlying ethical principles of USO, as analyzed in the literature, in order to provide a reading of the industrial organization of USO in terms of equity and justice between the agents involved in transactions. The notion of Tobin specific egalitarianism is traditionaly given to justify the USO. The new economic approaches to equity can allow going further and refining the egalitarian principles with emphasis on trade-off such as equality-responsibility and equality-freedom of choice. Secondly, equity preferences of the regulator are represented by an Atkinson-Stiglitz social welfare function. This allows us to study how to implement equity criteria through USO in a context where there is market constraints (such as monopoly or duopolistic pricing and coverage). This reveal the comparative advantages of each USO instruments in terms of efficiency and equity. This also determines which instruments are substitutes or complements with respect to different equity and efficiency measures.Thirdly, we describe the evolution of the legislative framework of universal service. Then we expose the distributional impacts of market structure changes in network industries. While universal service is often presented as the residual of competition intended to consider the issues of social justice, we show that the introduction of competition is rather fit itself in a distributive logic.

La France, de même que tous les pays développés à économie de marché, possède une fiscalité élaborée et complexe, faite d’un grand nombre de prélèvements obligatoires. Le législateur poursuit, dans la détermination de sa politique fiscale, plusieurs objectifs. Au premier rang de ces objectifs figurent notamment l’efficacité et l’équité. Ces finalités de l’impôt obéissent à des logiques différentes, et peuvent parfois s’avérer contradictoires. Le système fiscal français parvient-il à atteindre ces objectifs? Divers concepts et situations – par exemple les niches fiscales et l’optimisation fiscale – étudiés dans le cas français mais également dans une perspective comparative internationale, en analysant plusieurs types de taxes et impôts, permettront d’éclairer la manière dont les politiques fiscales se positionnent au regard de l’équité et de l’efficacité, et de formuler des recommandations pour résoudre de façon optimale le dilemme entre efficacité et équité des prélèvements obligatoires. / Like all economically developed countries, France has an intricate and elaborate tax system, with a significant number of taxes and social security contributions. The French legislature conducts its tax policy with various goals in mind. Uppermost among these goals are efficiency and equity. The rationales behind each of these aims are quite different and sometime sprove contradictory.To what extent does the French tax system achieve these objectives? Several concepts and situations - aggressive tax planning and tax exemptions for instance - will be analysed through the example of numerous taxes, both from a national and an international comparative perspective. This will help us determine how well tax policies perform in terms of efficiency and equity, and make recommendations to optimally solve the dilemma between the efficiency and equity of the tax burden.

Par le biais d’une étude de cas portant sur un conseil scolaire anglophone ontarien, la recherche entreprise avait pour objectif l’analyse de la mise en œuvre de politiques touchant l’éducation des élèves réfugiés du niveau secondaire en Ontario, soit la politique à l’égard des élèves English language learners de 2007 ainsi que la Stratégie ontarienne d’équité et d’éducation inclusive de 2009. La réalisation d’entrevues semi-dirigées auprès d’informateurs clés du conseil scolaire, du ministère de l’Éducation de l’Ontario et d’un organisme local d’aide à l’établissement des nouveaux arrivants, l’analyse de documents publiés par les deux premières entités ainsi que l’observation non participante à des réunions de comités consultatifs du conseil scolaire ont permis l’exploration de l’impact constaté ou potentiel de la mise en œuvre de ces politiques sur la mise en place d’un modèle de système inclusif de prestation de programmes et services en matière d’éducation des élèves réfugiés du niveau secondaire.

Cette thèse aborde trois aspects liés aux introductions en Bourse et aux retraits obligatoires. Le premier est le processus de fixation des prix des deux offres publiques. En effet, au regard des différences entre les deux offres publiques, les experts emploient les mêmes méthodes d'évaluation sans justifier leurs différents choix. À travers un audit sur les prospectus d'IPO et d'OPR-RO, les processus d'évaluation sont d'avantages fondés sur les caractéristiques des entreprises et des conditions du marché. En outre, il existe une relation significative entre les prix d'offre et les différentes valeurs estimées. Par ailleurs, étant donné que IPOs peuvent coïncider 'avec une augmentation exceptionnelle de l'indice du marché et sont accompagnées d'une sous-évaluation initiale. Le choix d'un timing optimal de cette offre dépend de l'évolution des cours des entreprises cotées du même secteur et des valeurs des options d'IPO de de renonciation à l'offre. Enfin, lors d'un retrait obligatoire, le principe d'équité doit être respecté. Or, la procédure de fixation du prix de retrait obligatoire varie selon les cadres réglementaires et le manque de mesures de protection des intérêts des actionnaires minoritaires peut inciter à la dissimulation d'informations privées afin de minimiser le prix d'offre. Le modèle proposé a permis de dresser deux classifications montrant que le seul moyen permettant de les concilier les actionnaires est l'entière divulgation des informations privées. / This thesis reports three aspects related to IPOs and delisting. The first is related to the process of pricing the two bid priees. Indeed, given the differences between the two public offerings, underwriters use the same valuation methods without justifying their choices. Through an audit of the IPO and delisting prospectus, the valuation process is based on the characteristics of firms and market conditions. ln addition, there is a significant relationship between the offer priee and the different estimates. Moreover, given that IPOs may coincide with an exceptional increase in the market index and are accompanied by an initial underpricing. The choice of optimal timing of this offer is modeled as regards the priees of listed companies and values of IPO and withdrawing options. Finally, at a delisting, the principle of fairness must be respected. However, the procedure for setting the bid priee varies with regulation and the lack of measures to protect the interests of minority shareholders may encourage the disclosure of private information in order to minimize the offer priee. The proposed model was used to develop two classifications showing that the only way to reconcile shareholders is the full disclosure of private information.