Cette thèse porte sur la résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle(SAT). Ce problème important sur le plan théorique admet de nombreuses applications qui vont de la vérification formelle de matériels et de logiciels à la cryptographie en passant par la planification et la bioinformatique. Plusieurs contributions sont apportées dans cette thèse. La première concerne l’étude et l’intégration des concepts d’intensification et de diversification dans les solveurs SAT parallèle de type portfolio. Notre seconde contribution exploite l’état courant de la recherche partiellement décrit par les récentes polarités des littéraux « progress saving », pour ajuster et diriger dynamiquement les solveurs associés aux différentes unités de calcul. Dans la troisième contribution, nous proposons des améliorations de la stratégie de réduction de labase des clauses apprises. Deux nouveaux critères, permettant d’identifier les clauses pertinentes pour la suite de la recherche, ont été proposés. Ces critères sont utilisés ensuite comme paramètre supplémentaire de diversification dans les solveurs de type portfolio. Finalement, nous présentons une nouvelle approche de type diviser pour régner où la division s’effectue par ajout de contraintes particulières. / In this thesis, we deal with the sequential and parallel resolution of the problem SAT. Despite of its complexity, the resolution of SAT problem is an excellent and competitive approach for solving thecombinatorial problems such as the formal verification of hardware and software, the cryptography, theplanning and the bioinfomatics. Several contribution are made in this thesis. The first contribution aims to find the compromise of diversification and intensification in the solver of type portfolio. In our second contribution, we propose to dynamically adjust the configuration of a core in a portfolio parallel sat solver when it is determined that another core performs similar work. In the third contribution, we improve the strategy of reduction of the base of learnt clauses, we construct a portfolio strategy of reduction in parallel solver. Finally, we present a new approach named "Virtual Control" which is to distribute the additional constraints to each core in a parallel solver and verify their consistency during search.

Résumé non communiqué / Résumé non communiqué

Ce travail porte sur la valorisation des laitiers d'aciérie de conversion (slag BOF) dans les liants hydrauliques routiers. L'étude comprend un aspect fondamental dédié à la caractérisation des slag BOF, à l'analyse de leur comportement hydraulique et à l'étude de leur activation thermique et/ou chimique. Ils contiennent majoritairement 2S, C2F, Fe1-xO et CaO. Ils atteignent en pâte pure des résistances à la compression de 50 MPa à 180 jours. La finesse de mouture, la température et CaCl2 améliorent les résistances aux jeunes âges. L'étude comprend un aspect appliqué, consacré à la confection de liants hydrauliques routiers à base de slag BOF. Les propriétés mécaniques ont été étudiées selon la normalisation. Les résultats montrent que l'utilisation de 30 à 40% de slag BOF permet d'obtenir des liants hydrauliques routiers ayant des performances conformes à l'usage. Ce résultat constitue une solution intéressante pour valoriser ces coproduits industriels. / Basic Oxygen Furnace slag (BOF slag) valorisation in hydraulic road binders is investigated. The study was conducted on two different aspects. In a first part, BOF slag characterization, their hydraulic behaviour analysis and their thermal and/or chemical activation study were presented. They have interesting compressive strength (50Mpa) at 180 days. The particle size distribution, temperature and CaCl2 improve BOF slag mechanical properties. An industrial study has focused on BOF slag based hydraulic road binders formulation. Their mechanical properties have been studied according to standardization. It results that the use of 30 to 40% of BOF slag in hydraulic road binders is possible. This conclusion represents an attractive solution to enhance these industrial byproducts

No description available.

Etudier l'administration de la Justice et l'évaluation de sa qualité, sous l'angle d'unecomparaison européenne, c'est en quelque sorte anticiper ce que pourrait être la Justice indépendante et démocratique du 21ème siècle. En initiant les démarches comparatives sur ce thème, le Conseil de l'Europe - et plus exactement la Commission européenne pour l?efficacité de la Justice (CEPEJ) - a mis en place un cadre d'évaluation et un réseau de tribunaux référents efficace, qui lui donnentaujourd'hui une longueur d'avance sur les travaux entrepris par ailleurs. La diversité des systèmes judiciaires du Conseil de l'Europe, par son ampleur, offre des possibilités de comparaisons élargies, permettant la mise en évidence de groupes d'Etats comparables et d'indicateurs de qualité nombreux et pertinents.En Europe, citoyens et classe politique brocardent fréquemment les circonstances dans lesquelles la justice est rendue. Mais, ce n'est plus comme autrefois la décision rendue pour telle ou telle affaire qui est le plus souvent dénigrée, c'est en fait la gestion du problème par l'ensemble de la chaîne judiciaire qui est remise en cause. Les indicateurs quantitatifs se multiplient, au risque de nuire à la qualité de la justice rendue. Pour répondre aux attentes nouvelles des citoyens sans mettre en péril l'indépendance et la qualité de la Justice, les Etats d'Europe doivent eux-mêmes évoluer et installer la question de l'administration de la Justice au coeur du débat public. Dans la première partie de l'étude, la recherche d'une bonne administration de laJustice permet de mettre en évidence certains indicateurs de qualité relatifs aux différentes formes d'indépendance et de transparence de la Justice. Elle permet aussi de s'interroger sur la nouvelle place de l'usager durant le procès et sur l'attente qui lui est imposée pour traiter son affaire. Il en ressort en définitive que le souci de bonne administration joue un grand rôle dans l'indépendance organique et déontologique, tant lors de la sélection et de la nomination des magistrats que de leur entrée en fonction et de l'exercice de celle-ci. Les différents niveaux considérés, institutionnel, fonctionnel et personnel, témoignent de possiblesévolutions, y compris en France où le pouvoir exécutif joue encore un rôle important. D'autres réformes, visant à rendre l'administration de la Justice plus proches de l'usager sont également souhaitables : en favorisant la concertation et l'échange avec les usagers et les 8 partenaires des juridictions, il deviendra plus aisé de définir la place de l'usager, de répondre à ses préoccupations et de rendre son attente véritablement utile.Dans la seconde partie de l'étude, la recherche d'une bonne administration de laJustice permet de mettre en évidence de nombreux indicateurs quantitatifs et qualitatifs relevant par exemple des moyens de la Justice, de la gestion des flux, du coût et de la qualité des procédures. Le dernier titre de l'étude élabore une synthèse ainsi qu'un outil à l'usage des praticiens. Il replace les principaux indicateurs relevés au cours de l'étude au sein de divers domaines d'évaluation et indique pour chaque indicateur les méthodes d'évaluation qui paraissent être les plus appropriées. L'intérêt et le caractère novateur de cette recherche résident dans la comparaison des différents modèles judiciaires, sans se limiter à une approche purement conceptuelle, « architecturale », de l'administration de la Justice, mais en y incluant largement les critères qualitatifs et quantitatifs dégagés au sein des Working Groups des organisations internationales. La bonne administration de la Justice n'est pas seulement la justice rendue, quantifiée par les rapports d'activité des juridictions, mais également la capacité du système à faire accepter et respecter, aussi bien dans les milieux judiciaires que dans l'opinion publique, les critères de bonne justice qui ont été dégagés par le droit européen. / In a European comparative perspective, a study of administration of Justice andassessment of its quality means to anticipate what an independent and democratic Justice should be in the XXIst century. By carrying out comparative exercises in this field, the Council of Europe - and namely the European Commission for the Efficiency of Justice - has created an assessment framework and an efficient network of pilot courts, which put the Commission's endeavors ahead of any similar works done by other organizations. The diversity of judicial systems that make part of the Council of Europe offers large possibilities for comparison, which allow sampling and categorizing of different States and elaboration of relevant quality indicators. In Europe, citizens and political classes criticize the circumstances under which Justice is rendered. However, in contrast with the past, the critique does not target specific decisions rendered in a particular case, but more so the administration of the case by the entire chain of the judicial mechanism. Quality indicators are proliferating, at risk of hindering the quality of Justice rendered. In order to give an adequate reply to new demands of the citizens, without infringing independence and quality of Justice, the European States should themselves assessthe quality of Justice administration and put this issue in the heart of the public debate. In the First part of the Study, the quest for fair administration of justice allows to identify certain quality indicators relating to different forms of independence and transparency of Justice. Also, it raises the question of the new place that should be conferred to the user of Justice during the process and the timeframes to which his case is subjected. The study shows that, in the end, the quest for fair administration of Justice has a great role to play in ensuring structural and ethical independence during selection and appointment of magistrates, as wellas during their entering into function and their exercise thereof. The different levelsconsidered - institutional, functional and personal - allow projecting possible ways ofevolution of the matter in Europe, including in France where the executive power still plays an important role. Reforms aiming at making Justice closer to the user are recommended: by promoting exchange between users and different partners of jurisdictions, it will become easier to define the place of the users within the Justice system, to provide an adequate 11 remedy to their problems and to make useful the time that they spent awaiting a decision on their case.In the Second part of the Study, the quest for fair administration of Justice allows to identify multiple qualitative and quantitative indicators, which relate to the case flow, to the costs, to the quality of the procedures, as well as to the financial means allocated to Justice. The last title of the study provides a synthesis and a tool for practical use: it applies the previously identified indicators to different fields of assessment and designates to every indicator the most pertinent assessment methods. The interest and the novelty of the present research reside in the comparison of the different Justice models, going beyond a purely conceptual, -architectural - approach of Justice administration and exploiting qualitative and quantitative criteria elaborated by Working Groups of international organizations. Fair administration of Justice is not only the Justice rendered and quantified by courts' activity reports. It also reflects the capacity of the Justice system to make accept and respect - by the judiciary, as well as by the public opinion - the common European criteria of "fair justice".

Le retour volontaire est une pratique d’éloignement qui a la particularité de s’appuyer sur la« volonté » des migrants, ou tout du moins, sur leur participation au processus de retour. Cetteambiguïté ne se révèle analytiquement féconde, qu’à condition de dépasser les schèmesdichotomiques d’appréhension des relations de pouvoir que renferme le retour volontaire. C’està cet effort de conceptualisation que nous invitent les migrants ouest et centre africains quis’engagent, depuis le Maroc, dans une procédure d’ « Aide au Retour Volontaire et à laRéintégration » (AVRR) diligentée par l’Organisation Internationale pour les Migrations(OIM). Selon la formule consacrée par les candidats au retour sur le terrain marocain, s’inscrireà l’OIM revient à « signer la déportation ». À travers cette expression émique, ils et ellesrévèlent dans quelle mesure épreuve de la violence et manifestation de l’agencéité tendent à seconfondre dans l’expérience du retour volontaire.La dialectique du contrôle et de l’agencéité cependant, ne constitue qu’une étape de la réflexionpermettant d’appréhender avec rigueur la participation des migrants à l’éloignement. En effet,l’ethnographie des retours volontaires démontre qu’entre la violence des frontières et la capacitéd’action des migrants, se trouvent des acteurs hétérogènes – humanitaires, caritatifs etassociatifs – qui jouent un rôle intermédiaire dans la mise en retour des migrants. C’est danscet espace médian que se joue la part d’indétermination, non seulement de l’issue, maiségalement des modalités du processus de retour volontaire. L’intermédiation constitue dans cesens un espace relationnel où convergent, se contestent et se déforment l’un l’autre, lesmécanismes d’éloignement et les expressions de l’agencéité migrante.En somme, ni tout à fait réductible à une forme d’expulsion, ni exclusivement synonyme d’uneliberté d’action des migrants, la participation des migrants au retour volontaire se façonne àpartir de trois pôles en tension :la violence, l’intermédiation et l’agencéité migrante. / Doctorat en Sciences politiques et sociales / info:eu-repo/semantics/nonPublished

L’exception de recours parallèle, création prétorienne du Conseil d’État datant du milieu du Second Empire, est classiquement présentée comme une fin de non-recevoir spéciale au contentieux de l’excès de pouvoir. Elle consiste en ce que ce recours soit irrecevable dès lors que le requérant dispose d’un autre recours contentieux, le recours parallèle, lui permettant d’obtenir un résultat équivalent à celui procuré par le recours pour excès de pouvoir. Cette version originaire de la notion a été modélisée, c’est-à-dire qu’une synthèse de ses propriétés a été réalisée. Un modèle-type a ainsi été produit, permettant au juge de trancher des situations de concurrence des recours ou des compétences au-delà du seul contentieux de l’excès de pouvoir. Cette exception de recours parallèle dérivée est ainsi adaptée à de nouveaux domaines tels que le contentieux des référés ou le contentieux lié à la mise en œuvre du droit de l’Union européenne. La pratique de l’exception de recours parallèle par le juge n’est pas systématisable, elle est intuitive et relève d’une méthode. Celle-ci répond à un raisonnement finaliste permettant au juge de conduire ses politiques jurisprudentielles. / The objection of parallel proceedings, judge-made law created by the Council of State from the middle of the Second Empire, is traditionally explained like an absolute bar to proceedings devoted to misuse of powers. Indeed, the action is inadmissible if the applicant may bring another action, the parallel proceedings, with similar effect. This primary version has been modeled with a synthesis of notion characteristics. A standard model was produced and the judge can settle other situations of parallel proceedings. This second version of the objection of parallel proceedings is adapted to new proceedings like emergency proceedings or the implementation of European Union law. The practice of the objection of parallel proceedings is not theorizable. The judge is using this notion intuitively as a method for leading his judicial policies.

En 1890, la municipalité de Liverpool ordonne la fermeture des maisons closes et « lieux de débauche », ce qui conduit des centaines de femmes à se retrouver sans abri. De nouvelles associations, fondées pour apporter des solutions à cette crise, s’ajoutent aux organisations, plus anciennes, qui dirigent des établissements de « réforme morale » pour femmes. Toutes affirment pouvoir « sauver » ces femmes en les enfermant dans leur foyer ou refuge unisexuel. Le Pénitencier, fondé en 1809, entend transformer ses pensionnaires en domestiques « respectables » grâce à un travail de « pénitence » de deux années. La Maison de refuge, association de femmes créée en 1890, privilégie un accueil d’une semaine. Le Saint Sauveur, fondé en 1891 et géré par la congrégation catholique des Pauvres Servantes de la Mère de Dieu, offre un repas et un hébergement aux femmes dans l’asile de nuit et forme des femmes catholiques au travail de blanchisserie pendant une année dans le refuge. Ce travail de recherche examine les différentes facettes de l’action de ces trois associations et compare leur capacité à appréhender les enjeux auxquels elles sont confrontées de 1890 à 1914. Ancrée dans le contexte politique, social, culturel et religieux de Liverpool, cette étude révèle la contribution essentielle des femmes à la définition du rôle des associations pour femmes. Elle montre comment ces organisatrices de l’aide, confrontées aux formes de discrimination propres à la société dans laquelle elles évoluent, ont adapté l’action des associations et amorcé la transition de la philanthropie vers le travail social dans la ville au début du XXe siècle. / In 1890 in Liverpool the City Council ordered the shutting of brothels and “immoral” houses, which led hundreds of women to become homeless. Some new organisations were set up in addition to the existent charities managing reform institutions for women in order to find solutions to this critical situation. All of them maintained that they could “rescue” these women by locking them up in their women-only homes or refuges. Founded in 1809, the Female Penitentiary aimed to transform its inmates into “respectable” maid-servants through penitence for two years. The House of Help, a women’s organisation created in 1890, accommodated women for a week. In the Saint Saviour’s Refuge and Night Shelter, established in 1891 and run by the Catholic congregation of the Poor Servants of the Mother of God, Catholic women were either fed and lodged for the night in the Night Shelter or trained to become laundresses for a year in the Refuge. The present work examines the various facets of the work performed by these three charities and compares their capacity to understand the stakes with which they were confronted from 1890 to 1914. Set in the political, social, cultural and religious context of Liverpool, this study reveals the essential contribution of women to the definition of the mission of organisations for women. It shows how female organisers, facing the forms of discrimination which characterised the society in which they lived, adapted the work of charities and initiated the transition from philanthropy to social work in the city at the beginning of the twentieth century.

Au cours de ces deux dernières décennies, les étudiants internationaux ont été l’objet d’études de nombreuses recherches (Bureau canadien de l’éducation internationale, 2017 ; Chatel-De Repentigny, Montmarquette & Vaillancourt, 2011 ; Hou & Lu, 2017 ; Williams, Williams, & Abuckle, 2015, Fortier, 2007 ; Maïnich, 2015 ; Millet, 2000 ; Terrier, 2009 b, 2009a ; Vultur & Germain, 2018). L’intérêt porté sur les étudiants internationaux a été sans appel tant que leur population en mobilité continuait d’augmenter depuis 2010 en atteignant 2 millions en 2017 (UNESCO, 2020) dans les différents pays de l’OCDE. Dans le cas du Canada, ils représentent depuis 2017, 14 % de la population estudiantine du pays soit 296 469 personnes (Statistique Canada, 2020) et leur contribution en termes de PIB représentait respectivement 10,5 milliards de dollars en 2015 et en 12,8 milliards de dollars en 2016 (Affaires mondiales du Canada, 2017). Pourtant, derrière ces variables statistiques fort intéressantes, il y a des individus en déplacement, des hommes, des femmes, et parfois des enfants qui accompagnent leurs familles. Ce sont aussi des projets de vie, de couple et de famille. Cette thèse s’intéresse donc à la dimension familiale et conjugale des étudiants internationaux en prenant appui sur la loi de l’immigration de 2014 autorisant les étudiants internationaux à faire une demande de permis de travail ouvert pour leurs conjoints et conjointes. Cette thèse analyse donc le rapport qui résulte de la différenciation des permis au sein du couple (permis d’étude pour l’étudiant et permis de travail pour la conjointe) en partant des cas des étudiants internationaux haïtiens au Canada non boursier et de leurs conjointes. Nous avons pu appréhender notre objet d’étude en mettant en relation la sociologie de l’immigration dans la perspective d’A. Sayad (1999) et de la sociologie des rapports de sexe en empruntant la grille de consubstantialité des rapports sociaux (Kergoat, 2009). À la suite des analyses des récits biographiques, ce travail a pu mettre en évidence comment les rôles sociaux de sexes ont tendance à se redessiner au sein du couple d’étudiants internationaux haïtien. En raison du fait que, les femmes, les conjointes détenant les permis de travail parviennent à prendre la charge économique du foyer conjugal dans le contexte canadien à l’opposé du contexte haïtien où les hommes jouaient ce rôle. La thèse apporte aussi des éclairages sur la prise de décision quant au projet d’étude et aux projets migratoires en démontrant que dans la majorité des cas, ce sont les projets des conjoints (les étudiants) qui passent en premier plan au détriment des projets des conjointes. Même si toutefois, il y a dans plusieurs cas, une négociation, un arrangement qui se fait en vue de l’obtention de la résidence permanente qui aboutit au projet de mobilité du couple. Ce travail permet de mettre en évidence également la situation de déclassement et de discrimination auxquels font face les étudiants et leur conjointe au Canada.

La recherche suivante propose une étude approfondie des représentations des handicaps dans les romans français et italiens pour les adolescents écrits dans les trente dernières années, notamment à partir de 1980, âge d’or de la littérature à destination des adolescents, par une mise en lumière des caractéristiques principales et des enjeux sur lesquels leur écriture se fonde. En particulier, en allant au-delà de la simple analyse littéraire des représentations de cette diversité propre à la condition humaine, cette thèse vise à souligner les intentions idéologiques, sociales, politiques, philosophiques et pédagogiques de cette production, selon un parcours historique et comparatif entre les littératures française et italienne.Grâce à cette perspective transversale, elle montre comment les représentations des handicaps présentes dans les deux productions littéraires ont subi une évolution en lien avec leur contextualisation historique et culturelle et avec la prise en considération culturelle, juridique et sociale de la notion de handicap.Point de départ possible pour une meilleure connaissance du sujet, la littérature est un des instruments capables d’aider le lecteur adolescent à se rapprocher du handicap, en dépassant la notion de différence et en promouvant celle d’altérité. / The following research proposes an in-depth study of representations of disability in the French and Italian novels for young adults written in the last thirty years, especially from the 1980s, the golden age of young adult literature, by bringing into light the main features and issues its writings are based on.In particular, by going beyond the simple literary analysis of representations of this diversity specific to the human condition, this thesis aims to point out the ideological, social, political, philosophical and pedagogical intentions of this production, according to a historical and comparative path between French and Italian literatures.Thanks to this transversal perspective, it shows how the representations of disability in both literary productions have undergone changes in line with their historical and cultural contextualization, taking into account the legal and social concept of handicap.By being a possible starting point for a better understanding of the subject, literature can be a useful tool to help the young adult reader to approach the notion of disability, by overcoming the notion of difference and promoting the one of otherness.